Cubical type theory library for use with the Agda compiler
unstable
The package has no detailed description
0.9
agdaPackages
Yes
No
Free
46
