Changes between Version 1 and Version 2 of TypeLevelNamingIssues


Ignore:
Timestamp:
Oct 11, 2013 6:59:59 PM (22 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}}}