wiki:TypeNats/RuleNotation

Variable names:

m,n,k:  natural numbers
a,b,c:  types of kind Nat

When overlapping, earlier rules take precedence (as in Haskell multi-equation definitions).

{ expr } is the value of the Haskell expression expr.
Last modified 4 years ago Last modified on Dec 19, 2010 5:31:14 PM