News for hackers. Stuff that matters.

A comment on Learn You an Agda. Parent comment

Re:Learn You an Agda by dom96 on Wednesday December 03, 2014 @07:07AM (#8693259)
You may interested in Nim (http://nim-lang.org/). A practical programming language with an effect system.
[ Parent | on HN ]

There are no comments on this comment yet.