Hacker News Reader

The Idris 2 compiler is build with Chez Scheme? That's pretty cool in my opinion, didn't know that.

It compiles to Chez Scheme. It's written in Idris 2 (self-hosted).

It is written with Idris2 as the article mentions.

It produces/translates to Chez Scheme code.