HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by moomin | Hacker News Reader
Full thread
moomin
·
IIRC, Idris 2 uses Chez Scheme for its backend.
View on HN
threatofrain
·
Also Racket.
bPspGiJT8Y
·
There's also a Chez backend in development for PureScript.
Reply on news.ycombinator.com