Changes between Initial Version and Version 1 of TypeNats/RuleNotation


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/RuleNotation

    v1 v1  
     1Variable names: 
     2{{{ 
     3m,n,k:  natural numbers 
     4a,b,c:  types of kind Nat 
     5}}} 
     6 
     7When overlapping, earlier rules take precedence (as in Haskell multi-equation definitions). 
     8 
     9{{{ 
     10{ expr } is the value of the Haskell expression expr. 
     11}}}