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

2 pointsposted a year ago
by LightMachine
(twitter.com)

1 Comments

user

a year ago

[deleted]