Comment on Why is Idris 2 so much faster than Idris 1?parentComments−rq16yIt is written with Idris2 as the article mentions.It produces/translates to Chez Scheme code.
Comments
It is written with Idris2 as the article mentions.
It produces/translates to Chez Scheme code.