type-equality-0.1.1: Type equality, coercion/cast and other operations.

Index

:=:Data.Type.Equality
coerceData.Type.Equality
congData.Type.Equality
cong2Data.Type.Equality
cong3Data.Type.Equality
EqTData.Type.Equality
eqTData.Type.Equality
EqT2Data.Type.Equality
eqT2Data.Type.Equality
EqT3Data.Type.Equality
eqT3Data.Type.Equality
ReflData.Type.Equality
substData.Type.Equality
symData.Type.Equality
transData.Type.Equality