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 kccqzy on Monday May 25, 2020 @09:39PM (#23306653)
That book pretty much teaches just the basics. The basics have not changed.
[ Parent | on HN ]

There are no comments on this comment yet.