Hacker News Reader

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.

View on HN

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

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.

Reply on news.ycombinator.com