After getting the Idris2 compiler to work when compiled to Javascript, I made a web playground for it based on the one I did for Newt. The playground use Preact, Typescript, and Codemirror6. Codemirror is less batteries-included than monaco, but works better on mobile.