Changes between Version 10 and Version 11 of NewAxioms

Show
Ignore:
Timestamp:
06/07/12 06:13:43 (12 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