summaryrefslogtreecommitdiff
path: root/rust/sample/test03/input
diff options
context:
space:
mode:
Diffstat (limited to 'rust/sample/test03/input')
-rw-r--r--rust/sample/test03/input12
1 files changed, 0 insertions, 12 deletions
diff --git a/rust/sample/test03/input b/rust/sample/test03/input
deleted file mode 100644
index 6cff466..0000000
--- a/rust/sample/test03/input
+++ /dev/null
@@ -1,12 +0,0 @@
-(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)