thinnings/thinnings.agda-lib

4 lines
74 B
Plaintext
Raw Permalink Normal View History

name: thinnings
include: src
depend: standard-library-2.0 agda-categories