From 7752d73216578d5961751b5d0535088d384b4aa6 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
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/test02/input | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 rust/sample/test02/input

(limited to 'rust/sample/test02/input')

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))))
-- 
cgit v1.2.3