Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler

2 pointsposted a year ago
by LightMachine
(twitter.com)

No comments yet