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 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 ]

There are no comments on this comment yet.