|
#lang transd
|
|
|
|
MainModule: {
|
|
Ack: Lambda<Int Int Int>(λ m Int() n Int()
|
|
(if (not m) (ret (+ n 1)))
|
|
(if (not n) (ret (exec Ack (- m 1) 1)))
|
|
(ret (exec Ack (- m 1) (exec Ack m (- n 1))))
|
|
),
|
|
_start: (λ (textout (exec Ack 3 1) "\n"
|
|
(exec Ack 3 2) "\n"
|
|
(exec Ack 3 3)))
|
|
}
|