Reference manual
/ section prelude
section prelude
generic (
_)
generic 8 rightassoc (_
_)
[
]
:
0
1
function 30 leftassoc (_ + _)
_ + _ :
((
)
)
m, n:
1
p: ( _ + _ )
p.1 = (m, n)
m, n:
m + n
m, n:
| m + 1 = n + 1
m = n
n:
n + 1 = 0
w:
| 0
w
(
y: w
y + 1
w)
w =
m:
m + 0 = m
m, n:
m + (n + 1) = (m + n) + 1
IT 3-Jan-2002