Hacker News new | ask | show | jobs
by mjepronk 2210 days ago
It compiles to Chez Scheme. It's written in Idris 2 (self-hosted).