2 ms·AFAIK Idris 2 (Blodwen) as a compiler still runs on the default C-backend used by Idris 1by ska80 8y agoAFAIK Idris 2 (Blodwen) as a compiler still runs on the default C-backend used by Idris 1