Taneb
/
thinnings
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity
thinnings/thinnings.agda-lib

4 lines
74 B
Plaintext
Raw Permalink Blame History

name: thinnings
include: src
depend: standard-library-2.0 agda-categories
Reference in New Issue View Git Blame Copy Permalink