4 ms·
Howdy, 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
by ghuntley 5y ago
Howdy, 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