15 ms·
Isnt Idris 2, like new racket, compiled to chez? I remember Edwin Bring very impressed by the chez backend for Idris 1.
by bjoli 7y ago
Isnt Idris 2, like new racket, compiled to chez? I remember Edwin Bring very impressed by the chez backend for Idris 1.
- rq1 7y agoYes. IIRC according to Edwin, he didn’t want to spend too much time on implementing an efficient RTS and decided to focus on his core competency instead to (correctly) bring in qtt. The result is surprisingly good and fast. Way faster than v1 actually on both compile and run time. Ps. Brady btw.