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 fabianhjr on Monday May 25, 2020 @08:33PM (#23306304)
Not really, Idris2 is very similar to Idris1 and the book is more on developing concepts/ideas rather than just being a cookbook of things to do in Idris1.
[ Parent | on HN ]

There are no comments on this comment yet.