From 7752d73216578d5961751b5d0535088d384b4aa6 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 25 Jan 2025 10:45:41 +0100 Subject: Move λ-calcul workshop code to subdirectory MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- rust/sample/test_bool.txt | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 rust/sample/test_bool.txt (limited to 'rust/sample/test_bool.txt') 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) -- cgit v1.2.3