Example repo for building Agda files with Travis CI using the scottfleischman/agda Docker image.
scott-fleischman/agda-travis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Example repo for building Agda files with Travis CI using the scottfleischman/agda Docker image.
