Changes between Version 4 and Version 5 of Ticket #14733, comment 6


Ignore:
Timestamp:
Feb 2, 2018 4:26:15 PM (2 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14733, comment 6

    v4 v5  
    3333    .. without losing that `Category` instance:
    3434  {{{#!hs
     35-- Constraint-enriched category
    3536type Refl  rel = forall a.     ()                 => rel a a
    3637type Trans rel = forall a b c. (rel a b, rel b c) => rel a c