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

2 pointsposted 18 hours ago
by LightMachine
(twitter.com)

1 Comments

user

18 hours ago

[deleted]