Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com) 2 points by LightMachine 1y ago ↗ HN
1 comment
[ 5.2 ms ] story [ 10.9 ms ] thread