Index
| := | Data.Eq.Type |
| coerce | Data.Eq.Type |
| lift | Data.Eq.Type |
| lift2 | Data.Eq.Type |
| lift2' | Data.Eq.Type |
| lift3 | Data.Eq.Type |
| lift3' | Data.Eq.Type |
| Refl | Data.Eq.Type |
| refl | Data.Eq.Type |
| subst | Data.Eq.Type |
| symm | Data.Eq.Type |
| trans | Data.Eq.Type |
eq-0.3.1: Leibnizian equality
Index
| := | Data.Eq.Type |
| coerce | Data.Eq.Type |
| lift | Data.Eq.Type |
| lift2 | Data.Eq.Type |
| lift2' | Data.Eq.Type |
| lift3 | Data.Eq.Type |
| lift3' | Data.Eq.Type |
| Refl | Data.Eq.Type |
| refl | Data.Eq.Type |
| subst | Data.Eq.Type |
| symm | Data.Eq.Type |
| trans | Data.Eq.Type |