Comment Comment by mjepronk It compiles to Chez Scheme. It's written in Idris 2 (self-hosted). parent mjepronk 6 years ago
