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