1 datatype num
= Z | S
of num
5 |
(n
, S m
) => S (plus (n
,m
))
9 val two
= plus (one
,one
)
13 |
(n
, S m
) => plus (n
, times (n
,m
))
15 val square
= fn n
=> times (n
,n
)
19 val sixteen
= square four
21 val two56
= square sixteen
26 |
S (S n
) => plus (fib (S n
), fib n
)