Repository to test an Agda CI Pipeline using GitHub actions. The pipeline runs on jlimperg's agda-stdlib image. You can access the standard library in your project by adding it to the projects .agda-lib file.
Repository to test an Agda CI Pipeline using GitHub actions. The pipeline runs on jlimperg's agda-stdlib image. You can access the standard library in your project by adding it to the projects .agda-lib file.