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

2 lines
41 B
Plaintext
Raw Permalink Blame History

include: . bidir
depend: standard-library
Reference in New Issue View Git Blame Copy Permalink