Directory listing for cubical-0.2.0 candidate source tarball
cubical-0.2.0/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