From a2b4bd2afc24c2f473ef98a914c2e31315849e95 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Thu, 8 Feb 2024 16:43:02 -0700
Subject: [PATCH] examples

---
 examples/Core/constDivZero.cr | 3 +++
 examples/Core/factorial.cr    | 7 +++++++
 2 files changed, 10 insertions(+)
 create mode 100644 examples/Core/constDivZero.cr
 create mode 100644 examples/Core/factorial.cr

diff --git a/examples/Core/constDivZero.cr b/examples/Core/constDivZero.cr
new file mode 100644
index 0000000..da116f5
--- /dev/null
+++ b/examples/Core/constDivZero.cr
@@ -0,0 +1,3 @@
+k x y = x;
+main = k 3 ((/#) 1 0);
+
diff --git a/examples/Core/factorial.cr b/examples/Core/factorial.cr
new file mode 100644
index 0000000..1080c7b
--- /dev/null
+++ b/examples/Core/factorial.cr
@@ -0,0 +1,7 @@
+fac n = case (==#) n 0 of
+    { <1> -> 1
+    ; <0> -> (*#) n (fac ((-#) n 1))
+    };
+
+main = fac 3;
+