Directory listing for cubical-0.2.0 source tarball
cubical-0.2.0/
- CTT.hs
- Concrete.hs
- Eval.hs
- Exp.cf
- LICENSE
- Main.hs
- Makefile
- Pretty.hs
- README.md
- Setup.hs
- TypeChecker.hs
- cubical.cabal
- cubical.el
- 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
- helix.cub
- heterogeneous.cub
- integer.cub
- interval.cub
- involutive.cub
- lemId.cub
- mutual.cub
- nIso.cub
- omega.cub
- opacity.cub
- opacity_fail.cub
- prelude.cub
- primitives.cub
- quotient.cub
- set.cub
- spector.cub
- subset.cub
- swap.cub
- swapDisc.cub
- swapDisc_old.cub
- testInh.cub
- turn.cub
- univalence.cub