5 ms·Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler2 points by LightMachine 2y agodeleted 2y ago[deleted]