From e68199d88f3561d10f576b328265fa0a122d87a3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 25 Sep 2016 14:32:22 +0200
Subject: Added acker and queens examples

---
 examples/acker.fusp | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 examples/acker.fusp

(limited to 'examples/acker.fusp')

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;
-- 
cgit v1.2.3