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