[espeed]

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.

[ska80]

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