Y
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