Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler #1 Post by LightMachine » Fri, Sep 20, 2024, 10:46 PM UTC Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compilertwitter.com
Re: Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler #2 Post by [deleted] » Fri, Sep 20, 2024, 10:50 PM UTC [deleted]