equal
deleted
inserted
replaced
13 |
13 |
14 Assume you defined the Ackermann function: |
14 Assume you defined the Ackermann function: |
15 |
15 |
16 *} |
16 *} |
17 |
17 |
18 ML {* |
18 ML{*fun ackermann (0, n) = n + 1 |
19 fun ackermann (0, n) = n + 1 |
|
20 | ackermann (m, 0) = ackermann (m - 1, 1) |
19 | ackermann (m, 0) = ackermann (m - 1, 1) |
21 | ackermann (m, n) = ackermann (m - 1, ackermann (m, n - 1)) |
20 | ackermann (m, n) = ackermann (m - 1, ackermann (m, n - 1)) *} |
22 *} |
|
23 |
21 |
24 text {* |
22 text {* |
25 |
23 |
26 Now the call |
24 Now the call |
27 |
25 |