diff options
| author | Camil Staps | 2016-09-25 14:32:22 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-09-25 14:32:22 +0200 |
| commit | e68199d88f3561d10f576b328265fa0a122d87a3 (patch) | |
| tree | 7ef031aaad802c654db849c06ad76152e6f09bb3 /examples/acker.fusp | |
| parent | Added code: add, eq, ge, gt, le, lt, ne (diff) | |
Added acker and queens examples
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; |