https://github.com/gitpod-samples/template-agda

An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
https://github.com/gitpod-samples/template-agda

agda gitpod

Last synced: 3 months ago
JSON representation

An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

• Host: GitHub
• URL: https://github.com/gitpod-samples/template-agda
• Owner: gitpod-samples
• License: mit
• Created: 2021-12-13T03:01:34.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-12-13T03:15:07.000Z (over 3 years ago)
• Last Synced: 2025-01-24T12:45:34.449Z (5 months ago)
• Topics: agda, gitpod
• Language: Agda
• Homepage:
• Size: 4.88 KB
• Stars: 8
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# An Agda template on Gitpod

This is a [Agda](https://github.com/agda/agda) template configured for ephemeral development environments on [Gitpod](https://www.gitpod.io/).

## Next Steps

Click the button below to start a new development environment:

[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/gitpod-io/template-agda)

## Get Started With Your Own Project

### A new project

Click the above "Open in Gitpod" button to start a new workspace. Once you're ready to push your first code changes, Gitpod will guide you to fork this project so you own it.

### An existing project

To get started with Create React App on Gitpod, add a [`.gitpod.yml`](./.gitpod.yml) file which contains the configuration to improve the developer experience on Gitpod. To learn more, please see the [Getting Started](https://www.gitpod.io/docs/getting-started) documentation.