Directory listing for cubical-0.1.1 source tarball
cubical-0.1.1/
- CTT.hs
- Concrete.hs
- Eval.hs
- Exp.cf
- LICENSE
- MTT.hs
- MTTtoCTT.hs
- Main.hs
- Makefile
- Pretty.hs
- README.md
- Setup.hs
- cubical.cabal
- Exp/
- examples/
- BoolEqBool.cub
- Kraus.cub
- UnotSet.cub
- axChoice.cub
- cong.cub
- contr.cub
- curry.cub
- description.cub
- elimEquiv.cub
- epi.cub
- equivProp.cub
- equivSet.cub
- equivTotal.cub
- exists.cub
- finite.cub
- function.cub
- gradLemma.cub
- hedberg.cub
- idempotent.cub
- lemId.cub
- nIso.cub
- omega.cub
- prelude.cub
- primitive.cub
- quotient.cub
- set.cub
- subset.cub
- swap.cub
- swapDisc.cub
- test.cub
- testInh.cub
- univalence.cub