Hacker News new | ask | show | jobs
by ska80 2744 days ago
AFAIK Idris 2 (Blodwen) as a compiler still runs on the default C-backend used by Idris 1