1 files changed, 0 insertions, 15 deletions
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)