scott-fleischman/agda-travis

Example repo for building Agda files with Travis CI

GitHub repository with 7 stars and 1 forks.

Language: Agda

Open provider repository