Changes between Version 7 and Version 8 of NewAxioms


Ignore:
Timestamp:
Jun 7, 2012 12:46:32 PM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v7 v8  
    11= Pattern-matching axioms = 
     2 
     3Thhis page describes an extension to type families that supports overlap. 
     4 
     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. 
     6 
     7 * We'll need some concrete syntax for the discussion, so we'll follow the cached pdf, but note that the syntax there is not final. 
    28 
    39== Background ==  
     
    5359 
    5460 
    55 ''' [wiki:NewAxioms/DiscussionPage Discussion Page] ''' added May 2012, for comment/suggestions/requests for clarification/alternative solutions, to explore the design space. 
    5661 
    57  * We'll need some concrete syntax for the discussion, so we'll follow the cached pdf, but note that the syntax there is not final. 
    58