3 ms·It is written with Idris2 as the article mentions. It produces/translates to Chez Scheme code.by rq1 6y agoIt is written with Idris2 as the article mentions. It produces/translates to Chez Scheme code.