Changes between Version 10 and Version 11 of TypeLevelReasoning


Ignore:
Timestamp:
Apr 23, 2013 3:19:10 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v10 v11  
    6464
    6565...
    66 eqTypeable :: (Typeable a, Typeable b) => Maybe (a :=: b)
     66eqTypeable       :: (Typeable a, Typeable b) => Maybe    (a :=: b)
    6767decideEqTypeable :: (Typeable a, Typeable b) => Decision (a :=: b)
    6868-- can't use EqT and DecideEqT because Typeable is in Constraint, not *