News for hackers. Stuff that matters.

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

Re:Idris - pure functional programming language with depende... by phaer on Thursday January 19, 2012 @06:48AM (#3484067)
Down for me, google cache: http://webcache.googleusercontent.com/search?q=cache:dtmf_mG...
[ Parent | on HN ]
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 ]