type-equality 1.0.1

5 Reverse deps Accepted versions
natural-number >=0.1 && <0.2
RepLib >=0.1.0.2 && <0.2
tagged-list >=0.1 && <0.2
type-settheory >=0
yoko >=0