GitHub repository: scott-fleischman/agda-travis
Primary language: Agda
Created: 2016-09-07T13:42:38Z
Description: Example repo for building Agda files with Travis CI