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 rq1 on Tuesday May 26, 2020 @03:53AM (#23308489)
It is written with Idris2 as the article mentions.

It produces/translates to Chez Scheme code.

[ Parent | on HN ]

There are no comments on this comment yet.