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 radarsat1 on Friday January 20, 2012 @03:55PM (#3491180)
Very nice! I really look forward to using something like that.
[ Parent | on HN ]

There are no comments on this comment yet.