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 edwinb on Thursday January 19, 2012 @07:28AM (#3484193)
Sorry about that, it's back now...
[ Parent | on HN ]

There are no comments on this comment yet.