Changes between Version 27 and Version 28 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 7:30:07 PM (8 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v27 v28  
    99 
    1010See also  
     11 * #8154 
    1112 * #8155 
    1213 * [http://www.haskell.org/pipermail/glasgow-haskell-users/2013-August/022712.html Email thread] on overlap restrictions for open families 
    1314 
    14  
    15 Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type.  Not yet started on the details. 
    16  
    17 Status (Aug 12): A working prototype implementation is in `overlapping-tyfams`. 
    18  
    19 Status (Dec 12): A working implementation has been pushed to HEAD. 
    20  
    21 Status (Jun 13): A working re-implementation, with closed type families, has been pushed to HEAD. The description of the feature below is accurate as of Jun 24, 2013. 
     15Status: A working implementation with closed type families has been pushed to HEAD. The description of the feature below is accurate as of Jun 24, 2013. 
    2216 
    2317== Background ==