3 ms·
He, I forgot to mention that I also use Chez as a backend for Idris. https://github.com/melted/idris-chez https://github.com/melted/idris-chez
by kryptiskt 9y ago
He, I forgot to mention that I also use Chez as a backend for Idris. https://github.com/melted/idris-chez https://github.com/melted/idris-chez
- igravious 9y agoVery cool, thanks for the heads up.