Comment on Why is Idris 2 so much faster than Idris 1?parentComments−mjepronk6yIt compiles to Chez Scheme. It's written in Idris 2 (self-hosted).
Comments
It compiles to Chez Scheme. It's written in Idris 2 (self-hosted).