Changes between Version 10 and Version 11 of NewAxioms


Ignore:
Timestamp:
Jun 7, 2012 1:13:43 PM (3 years 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