2 lines
No EOL
39 B
Text
2 lines
No EOL
39 B
Text
depend: agda-unimath cubical
|
|
include: . |
depend: agda-unimath cubical
|
|
include: . |