Anonymous user
Ackermann function: Difference between revisions
m
→Tail-Recursive
(prevents multiple identical bounds) |
m (→Tail-Recursive) |
||
Line 370:
match find_option bounds (m, n-1) with
| Some a_rec ->
a bounds caller todo (m-1) a_rec
| None ->
|