From 67f17306919258d50f2bfc7a9171889d31ce1c9e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 3 Apr 2018 20:09:32 +0200
Subject: Add fix and scan_iterate examples

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

(limited to 'examples/fix.fusp')

diff --git a/examples/fix.fusp b/examples/fix.fusp
new file mode 100644
index 0000000..617f909
--- /dev/null
+++ b/examples/fix.fusp
@@ -0,0 +1,10 @@
+import bool;
+import int;
+
+fix f = fixb f (fixb f);
+fixb f x = f (x x);
+
+main = fix myadd 5 10;
+
+// Fixpoint peano integer addition
+myadd a m n = if (eq n 0) m (add 1 (a m (sub 1 n)));
-- 
cgit v1.2.3