agda4ts · repl

Boots Agda's builtin modules in your browser, then runs the checker. No server.