@hackage eq0.3.5

Leibnizian equality

  • Installation

  • Dependencies (0)

  • Dependents (0)

  • Package Flags

      typefamilies
       (on by default)

Leibnizian equality