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}}}