The latest version of type-eq is 0.5-1.

lib:type-eq

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.