school
/
type-theory
2
0
Fork 0
Code Issues 8 Pull Requests Packages Projects 2 Releases Wiki Activity
type-theory/cubical-playground.agda-lib

3 lines
59 B
Plaintext
Raw Permalink Blame History

include: src
depend: standard-library cubical agda-unimath
Reference in New Issue View Git Blame Copy Permalink