4 lines
74 B
Plaintext
4 lines
74 B
Plaintext
name: thinnings
|
|
include: src
|
|
depend: standard-library-2.0 agda-categories
|