2 ms·It compiles to Chez Scheme. It's written in Idris 2 (self-hosted).by mjepronk 6y agoIt compiles to Chez Scheme. It's written in Idris 2 (self-hosted).