Hacker News new | ask | show | jobs
by espeed 2742 days ago
Have you heard that Idris 2 is implementated in Scheme, and runs faster than when it was on the GHC. Check out Edwin's tweet stream, he's loving Scheme and can't stop raving about it. The idea of Idris on Scheme is so sweet and surreal it's got to be to the combo of the year.
1 comments

AFAIK Idris 2 (Blodwen) as a compiler still runs on the default C-backend used by Idris 1