diff options
Diffstat (limited to 'examples/acker.fusp')
-rw-r--r-- | examples/acker.fusp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/acker.fusp b/examples/acker.fusp new file mode 100644 index 0000000..6e774f0 --- /dev/null +++ b/examples/acker.fusp @@ -0,0 +1,8 @@ +sub a b = code sub a b; +add a b = code add a b; + +acker 0 j = add j 1; +acker i 0 = acker (sub 1 i) 1; +acker i j = acker (sub 1 i) (acker i (sub 1 j)); + +main = acker 3 7; |