Changes between Version 1 and Version 2 of TypeLevelNamingIssues


Ignore:
Timestamp:
Oct 11, 2013 6:59:59 PM (7 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelNamingIssues

    v1 v2  
    129129    I've tested this function in a real setting, and it (that is, type inference for it) works great. 
    130130 
     1319. I propose the following, further addition to `Data.Type.Equality`: 
     132{{{ 
     133type family a == b where 
     134  a == a = True 
     135  a == b = False 
     136}}}