2 lines
59 B
Text
2 lines
59 B
Text
include: src
|
|
depend: standard-library cubical agda-unimath
|
include: src
|
|
depend: standard-library cubical agda-unimath
|