From 633882119b85d1a739708d7d44acdc5d79a91b02 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Thu, 14 Dec 2023 13:29:08 -0700
Subject: [PATCH] add examples

---
 examples/constDivZero.hs | 3 +++
 examples/factorial.hs    | 7 +++++++
 examples/sumList.hs      | 9 +++++++++
 3 files changed, 19 insertions(+)
 create mode 100644 examples/constDivZero.hs
 create mode 100644 examples/factorial.hs
 create mode 100644 examples/sumList.hs

diff --git a/examples/constDivZero.hs b/examples/constDivZero.hs
new file mode 100644
index 0000000..da116f5
--- /dev/null
+++ b/examples/constDivZero.hs
@@ -0,0 +1,3 @@
+k x y = x;
+main = k 3 ((/#) 1 0);
+
diff --git a/examples/factorial.hs b/examples/factorial.hs
new file mode 100644
index 0000000..cc235ab
--- /dev/null
+++ b/examples/factorial.hs
@@ -0,0 +1,7 @@
+fac n = case (==#) n 0 of
+    { 1 -> 1
+    ; 0 -> (*#) n (fac ((-#) n 1))
+    };
+
+main = fac 3;
+
diff --git a/examples/sumList.hs b/examples/sumList.hs
new file mode 100644
index 0000000..fd46a60
--- /dev/null
+++ b/examples/sumList.hs
@@ -0,0 +1,9 @@
+nil = Pack{0 0};
+cons x y = Pack{1 2} x y;
+list = cons 1 (cons 2 (cons 3 nil));
+sum l = case l of
+    { 0      -> 0
+    ; 1 x xs -> (+#) x (sum xs)
+    };
+main = sum list;
+