News for hackers. Stuff that matters.

A comment on Idris - pure functional programming language with dependent types. Parent comment

Re:Idris - pure functional programming language with depende... by fhars on Thursday January 19, 2012 @08:21AM (#3484341)
The set {1, 1, 1, 1} has only one element, 1.
[ Parent | on HN ]
Re:Idris - pure functional programming language with depende... by skrebbel on Thursday January 19, 2012 @08:26AM (#3484355)
Oh fuck. Bags and sets.

I'm an idiot!

And that only 3 years out of university :-(

[ Parent | on HN ]