Move λ-calcul workshop code to subdirectory

1 files changed, 12 insertions, 0 deletions

diff --git a/lambda-calcul/rust/sample/test03/input b/lambda-calcul/rust/sample/test03/input
new file mode 100644
index 0000000..6cff466
--- /dev/null
+++ b/lambda-calcul/rust/sample/test03/input
@@ -0,0 +1,12 @@
+(def zero (lam (f s) s))
+(def succ (lam (n f s) (f (n f s))))
+
+(def one (succ zero))
+(def two (succ one))
+(def three (succ two))
+(def four (succ three))
+(def five (succ four))
+
+(def plus (lam (a b f s) (a f (b f s))))
+
+(plus one three)