Hacker News new | ask | show | jobs
by zelphirkalt 2219 days ago
The Idris 2 compiler is build with Chez Scheme? That's pretty cool in my opinion, didn't know that.
2 comments
mjepronk 2219 days ago
It compiles to Chez Scheme. It's written in Idris 2 (self-hosted).
link
rq1 2219 days ago
It is written with Idris2 as the article mentions.

It produces/translates to Chez Scheme code.

link