Changes between Version 2 and Version 3 of NewAxioms/CoincidentOverlap


Ignore:
Timestamp:
May 29, 2013 1:23:00 PM (23 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/CoincidentOverlap

    v2 v3  
    5454 
    5555This is perhaps somewhat subtle, but it seems to be the right way to do it. 
     56 
     57The ideas discussed here stem from posts by AntC, Andy Adams-Moran, and Richard on Richard's [http://typesandkinds.wordpress.com/2013/04/29/coincident-overlap-in-type-families/ blog post] on the subject.