@hackage eq0.2.0

GADT-based type-level equality

  • Installation

  • Dependencies (0)

  • Dependents (0)

GADT-based type-level equality