diff options
Diffstat (limited to 'acker.icl')
-rw-r--r-- | acker.icl | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -2,7 +2,17 @@ module acker // The Ackermann function. -import StdInt +//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 |