From f26e7fbdc97f2107b90e13e2b12891fda8172c30 Mon Sep 17 00:00:00 2001 From: Max Date: Fri, 26 Dec 2025 02:49:18 -0500 Subject: [PATCH] feat: saccharine example --- samples/saccharine.txt | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 samples/saccharine.txt diff --git a/samples/saccharine.txt b/samples/saccharine.txt new file mode 100644 index 0000000..fdcd518 --- /dev/null +++ b/samples/saccharine.txt @@ -0,0 +1,9 @@ +0 := \f x.x +inc n := \f x.(f (n f x)) +add n m := m inc n +mult n m := m (n f) +exp m n := m n + +# This is the final output. +5 := (inc (inc (inc (inc (inc 0))))) +exp 5 5