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 zelphirkalt on Tuesday May 26, 2020 @03:21AM (#23308311)
The Idris 2 compiler is build with Chez Scheme? That's pretty cool in my opinion, didn't know that.
[ Parent | on HN ]
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 ]
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 ]