Changes between Version 4 and Version 5 of NewAxioms


Ignore:
Timestamp:
Jan 16, 2012 2:11:44 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v4 v5  
    44One might imagine that it would be a simple matter to have a type-level function 
    55{{{ 
    6 type family :: Equal a b :: Bool 
     6type family Equal a b :: Bool 
    77}}} 
    88so that `(Equal t1 t2)` was `True` if `t1`=`t2` and `False` otherwise.  But it isn't.  You can do  it for a fixed collection of types thus: