eq-0.3.4.1: Leibnizian equality

Index

:=Data.Eq.Type
coerceData.Eq.Type
liftData.Eq.Type
lift2Data.Eq.Type
lift2'Data.Eq.Type
lift3Data.Eq.Type
lift3'Data.Eq.Type
ReflData.Eq.Type
reflData.Eq.Type
substData.Eq.Type
symmData.Eq.Type
transData.Eq.Type