| changeset 155 | b6fca043a796 |
| parent 102 | 5e309df58557 |
| child 168 | 009ca4807baa |
| 154:e81ebb37aa83 | 155:b6fca043a796 |
|---|---|
16 *} |
16 *} |
17 |
17 |
18 ML{*fun ackermann (0, n) = n + 1 |
18 ML{*fun ackermann (0, n) = n + 1 |
19 | ackermann (m, 0) = ackermann (m - 1, 1) |
19 | ackermann (m, 0) = ackermann (m - 1, 1) |
20 | ackermann (m, n) = ackermann (m - 1, ackermann (m, n - 1)) *} |
20 | ackermann (m, n) = ackermann (m - 1, ackermann (m, n - 1)) *} |
21 |
|
22 ML {* ackermann (3,4) *} |
|
21 |
23 |
22 text {* |
24 text {* |
23 |
25 |
24 Now the call |
26 Now the call |
25 |
27 |