Changes between Version 28 and Version 29 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 7:31:36 PM (23 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v28 v29  
    33This page describes an extension to type families that supports overlap. 
    44 
    5  * See also the ''' [wiki:NewAxioms/DiscussionPage Discussion Page] ''' added May 2012, for comment/suggestions/requests for clarification/alternative solutions, to explore the design space. 
     5 * See also the ''' [wiki:NewAxioms/DiscussionPage Discussion Page] ''' added May 2012 (and now rather out-of-date), for comment/suggestions/requests for clarification/alternative solutions, to explore the design space. 
    66 * See also the ''' [wiki:NewAxioms/CoincidentOverlap Coincident Overlap] ''' page (added August 2012) for a discussion around the usefulness of allowing certain overlaps when the right-hand sides coincide. 
    77 * See also the ''' [wiki:NewAxioms/TemplateHaskell Template Haskell] ''' page (added December 2012) for a proposal for the Template Haskell changes necessary to support this change.