school
/
csci8980-s22
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
csci8980-s22/agda-project.agda-lib

4 lines
59 B
Plaintext
Raw Permalink Blame History

name: agda-project
depend: standard-library
include: ./src
Reference in New Issue View Git Blame Copy Permalink