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

by LightMachineon 9/20/24, 10:46 PMwith 0 comments

This post has no comments