Changes between Version 29 and Version 30 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 7:40:38 PM (2 years ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v29 v30  
    1212 * #8155
    1313 * [http://www.haskell.org/pipermail/glasgow-haskell-users/2013-August/022712.html Email thread] on overlap restrictions for open families
     14 * [http://www.cis.upenn.edu/~eir/papers/2014/axioms/axioms-extended.pdf Draft paper] about closed type families
    1415
    1516Status: 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.