Hacker News new | ask | show | jobs
by ghuntley 1652 days ago
Howdy, Geoff from Gitpod here. Yes, I just created this for the Agda community. Enjoy <3 https://github.com/gitpod-io/template-agda