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

2 points| LightMachine | 1 year ago |twitter.com