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 mjepronk on Tuesday May 26, 2020 @03:48AM (#23308464)
It compiles to Chez Scheme. It's written in Idris 2 (self-hosted).
[ Parent | on HN ]

There are no comments on this comment yet.