2 ms·
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.
by orangea 5y ago
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.
- drdeca 5y agothere is one on agdapad at https://agdapad.quasicoherent.io/ 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.
- ghuntley 5y agoHowdy, Geoff from Gitpod here. Yes, I just created this for the Agda community. Enjoy <3 https://github.com/gitpod-io/template-agda https://github.com/gitpod-io/template-agda