Changes between Version 27 and Version 28 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 7:30:07 PM (2 years 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 ==