Idris is a programming language designed to encourage Type-Driven Development.
Since idris2 the compiler is written in idris, and it generates chez Scheme code.
Idris
This work is licensed under a Creative Commons Attribution 4.0 International License