The latest version of type-equality is 1.0.1-0.
lib:type-equality
Modules
Dependencies
None.
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- hobbits lib:hobbits
- natural-number lib:natural-number
- tagged-list lib:tagged-list
- type-settheory lib:type-settheory
- yoko lib:yoko