TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler
2 points
by
LightMachine
8 months ago
no comments
no comments