Changes between Version 10 and Version 11 of NewAxioms


Ignore:
Timestamp:
Jun 7, 2012 1:13:43 PM (23 months ago)
Author:
spl
Comment:

Minor fixes

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v10 v11  
    11= Pattern-matching axioms = 
    22 
    3 Thhis page describes an extension to type families that supports overlap. 
     3This page describes an extension to type families that supports overlap. 
    44 
    55 * See [https://github.com/dreixel/New-axioms this Github repo] for a Latex draft of the design 
     
    5252 *  A `type instance` declaration can define multiple equations, not just one: 
    5353{{{ 
    54 type instance Eq where 
     54type instance Equal where 
    5555  Equal a a = True 
    5656  Equal a b = False 
     
    8383}}} 
    8484  Here the second equation can never match. 
    85    
    86  
    87  
    88  
    89  
     85