Move λ-calcul workshop code to subdirectory

12 files changed, 0 insertions, 65 deletions

diff --git a/rust/sample/test.txt b/rust/sample/test.txt
deleted file mode 100644
index 76dc68a..0000000
--- a/rust/sample/test.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-12
-foo
-  true
-
-(x x)
diff --git a/rust/sample/test01/input b/rust/sample/test01/input
deleted file mode 100644
index 48082f7..0000000
--- a/rust/sample/test01/input
+++ /dev/null
@@ -1 +0,0 @@
-12
diff --git a/rust/sample/test01/output b/rust/sample/test01/output
deleted file mode 100644
index 48082f7..0000000
--- a/rust/sample/test01/output
+++ /dev/null
@@ -1 +0,0 @@
-12
diff --git a/rust/sample/test02/input b/rust/sample/test02/input
deleted file mode 100644
index 81a0443..0000000
--- a/rust/sample/test02/input
+++ /dev/null
@@ -1,6 +0,0 @@
-(def pair (lam (a b f) (f a b)))
-
-(def fst (lam p (p (lam ( a b) a))))
-(def snd (lam p (p (lam ( a b) b))))
-
-(fst (snd (pair 1 (pair 2 0))))
diff --git a/rust/sample/test02/output b/rust/sample/test02/output
deleted file mode 100644
index c61e10e..0000000
--- a/rust/sample/test02/output
+++ /dev/null
@@ -1,4 +0,0 @@
-true
-true
-true
-2
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)
diff --git a/rust/sample/test03/output b/rust/sample/test03/output
deleted file mode 100644
index fd56297..0000000
--- a/rust/sample/test03/output
+++ /dev/null
@@ -1,9 +0,0 @@
-true
-true
-true
-true
-true
-true
-true
-true
-four
diff --git a/rust/sample/test_bool.txt b/rust/sample/test_bool.txt
deleted file mode 100644
index a1b1309..0000000
--- a/rust/sample/test_bool.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-(def True (lam (x y) x))
-(def False (lam (x y) y))
-(def and (lam (a b) (a b False)))
-(def or (lam (a b) (a True b)))
-(def not (lam a (a False True)))
-
-(and True True)
-(and True False)
-(and False True)
-(and False False)
-
-(or True True)
-(or True False)
-(or False True)
-(or False False)
diff --git a/rust/sample/test_full.txt b/rust/sample/test_full.txt
deleted file mode 100644
index ece76b8..0000000
--- a/rust/sample/test_full.txt
+++ /dev/null
@@ -1 +0,0 @@
-(((lam x (lam x x)) 13) true)
diff --git a/rust/sample/test_let.txt b/rust/sample/test_let.txt
deleted file mode 100644
index 6027cd0..0000000
--- a/rust/sample/test_let.txt
+++ /dev/null
@@ -1 +0,0 @@
-(let (foo (lam x x)) ((let (foo foo) foo) 13))
diff --git a/rust/sample/test_nat.txt b/rust/sample/test_nat.txt
deleted file mode 100644
index 81a6e9d..0000000
--- a/rust/sample/test_nat.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-(def pair (lam (a b f) (f a b)))
-(def fst (lam p (p (lam (a b) a))))
-(def snd (lam p (p (lam (a b) b))))
-
-(def zero (lam (f s) s))
-(def succ (lam (n f s) (f (n f s))))
-
-(def is-zero (lam n
-   (n (lam x False) true)))
diff --git a/rust/sample/test_normal.txt b/rust/sample/test_normal.txt
deleted file mode 100644
index 00abde9..0000000
--- a/rust/sample/test_normal.txt
+++ /dev/null
@@ -1 +0,0 @@
-((lam x 1) ((lam x (x x)) (lam x (x x))))