3 ms·
Wow, I didnnt know they switched to chez scheme as the default backend for Idris 2. I know Edwin was impressed with the speed of Chez and the overall quality of
by bjoli 6y ago
Wow, I didnnt know they switched to chez scheme as the default backend for Idris 2. I know Edwin was impressed with the speed of Chez and the overall quality of the implementation, but I never heard about the switch to it as default.