News for hackers. Stuff that matters.

A comment on Why is Idris 2 so much faster than Idris 1?. Parent comment

Re:Why is Idris 2 so much faster than Idris 1? by Buttons840 on Monday May 25, 2020 @10:34PM (#23306926)
It's worth noting that the book is written by the creator of Idris.
[ Parent | on HN ]

There are no comments on this comment yet.