aboutsummaryrefslogtreecommitdiff
path: root/examples/acker.fusp
diff options
context:
space:
mode:
Diffstat (limited to 'examples/acker.fusp')
-rw-r--r--examples/acker.fusp8
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;