module acker

//	The Ackermann function.

//import StdInt

(+) infixl 6 :: !Int !Int -> Int
(+) a b = code inline {
	addI
}

(-) infixl 6 :: !Int !Int -> Int
(-) a b = code inline {
	subI
}
    
Acker::Int Int -> Int
Acker 0 j =	j + 1
Acker i 0 = Acker (i - 1) 1
Acker i j = Acker (i - 1) (Acker i (j - 1))

Start::Int
Start = Acker 3 7