Directory listing for cubical-0.1.0 source tarball
cubical-0.1.0/examples/
- BoolEqBool.cub
- Kraus.cub
- UnotSet.cub
- axChoice.cub
- commutative.cub
- cong.cub
- contr.cub
- description.cub
- elimEquiv.cub
- epi.cub
- equivProp.cub
- equivSet.cub
- equivTotal.cub
- exists.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
- testInh.cub
- univalence.cub