Changes between Version 29 and Version 30 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 7:40:38 PM (11 months 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.