[orangea]

I wonder if services like gitpod/github codespaces/repl.it would be a good solution for allowing people to use an agda environment without installing it.

[ghuntley]

Howdy, Geoff from Gitpod here. Yes, I just created this for the Agda community. Enjoy <3 https://github.com/gitpod-io/template-agda

[drdeca]

there is one on agdapad at https://agdapad.quasicoherent.io/ (linked in the comments on the linked page)

My not being versed in emacs poses a little bit of an obstacle when I attempt to use it though.