2 lines
39 B
Plaintext
2 lines
39 B
Plaintext
depend: agda-unimath cubical
|
|
include: . |
depend: agda-unimath cubical
|
|
include: . |