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 mindcrime on Thursday January 19, 2012 @03:14PM (#3486435)
Is this, by any chance, specifically tailored to programming control systems for time machines[1]?

[1]: http://tardis.wikia.com/wiki/Idris

[ Parent | on HN ]

There are no comments on this comment yet.