An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Why do you think that https://github.com/gallais/agdarsec is a good alternative to template-agda
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Why do you think that https://github.com/gallais/agdarsec is a good alternative to template-agda