adam@1308: fun ack (m, n) = adam@1308: if m = 0 then adam@1308: n + 1 adam@1308: else if n = 0 then adam@1308: ack (m - 1, 1) adam@1308: else adam@1308: ack (m - 1, ack (m, n - 1)) adam@1308: adam@1308: fun main n = return {[ack (n, 4)]}