agda-travis
September 7, 2016 ยท View on GitHub
Example repo for building Agda files with Travis CI using the scottfleischman/agda Docker image.
September 7, 2016 ยท View on GitHub
Example repo for building Agda files with Travis CI using the scottfleischman/agda Docker image.