News for hackers. Stuff that matters.

A comment on Things that Idris improves things over Haskell. Parent comment

Re:Things that Idris improves things over Haskell by Buttons840 on Friday June 16, 2017 @10:40AM (#14569405)
The book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.
[ Parent | on HN ]

There are no comments on this comment yet.