Changes between Version 12 and Version 13 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 5:31:48 PM (5 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{{{