Prototype, extremely bad code implementation of CCHM Cubical Type Theory
 

1 lines
12 B

.stack-work