type-theory/cubical-playground.agda-lib
2022-10-31 16:05:18 -05:00

2 lines
46 B
Text

include: src
depend: standard-library cubical