From 7f5298c8ed4b652e0b071b0037ac4b6d44de1db3 Mon Sep 17 00:00:00 2001 From: Max Date: Sat, 27 Dec 2025 02:41:26 -0500 Subject: [PATCH] feat: added simple back --- samples/simple.txt | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/samples/simple.txt b/samples/simple.txt index ed91543..0b88432 100644 --- a/samples/simple.txt +++ b/samples/simple.txt @@ -1 +1,16 @@ (\0. + (\inc. + (\add. + (\mult. + (\exp. + (exp (inc (inc (inc (inc 0)))) (inc (inc (inc (inc (inc 0)))))) + \n m.(m n) + ) + \m n f.(m (n f)) + ) + \n m.(m inc n) + ) + \n f x.(f (n f x)) + ) + \f x.((((((x)))))) +) \ No newline at end of file