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;
+