Changes between Version 12 and Version 13 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 5:31:48 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v12 v13  
    1 Notation: 
    2 {{{ 
    3 m,n,k:  natural numbers 
    4 a,b,c:  types of kind Nat 
    5 }}} 
    6  
    7 When overlapping, earlier rules take precedence (as in Haskell multi-equation definitions). 
    8  
    9  
    101Top-level interactions for {{{TypeNat}}}: 
    112{{{