Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compilertwitter.com2 points·LightMachine··0 commentsOpen articleSaveView on HN