Hacker News new | ask | show | jobs
by rq1 2219 days ago
It is written with Idris2 as the article mentions.

It produces/translates to Chez Scheme code.