News for hackers. Stuff that matters.

A comment on Learn You an Agda. Parent comment

Re:Learn You an Agda by pseudonom- on Tuesday December 02, 2014 @05:49PM (#8690585)
I'm not sure if they will meet your standards, but Idris and ATS strive to be practical dependently typed languages:

http://www.ats-lang.org/Examples.html http://www.idris-lang.org/

[ Parent | on HN ]

There are no comments on this comment yet.