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

---
 clojure/src/lccl/lc/ast.clj | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 clojure/src/lccl/lc/ast.clj

(limited to 'clojure/src/lccl/lc/ast.clj')

diff --git a/clojure/src/lccl/lc/ast.clj b/clojure/src/lccl/lc/ast.clj
deleted file mode 100644
index 58bad11..0000000
--- a/clojure/src/lccl/lc/ast.clj
+++ /dev/null
@@ -1,7 +0,0 @@
-(ns lccl.lc.ast)
-
-(defrecord Var [name])
-(defrecord Abs [arg body])
-(defrecord App [left right])
-
-(def IDENTITY (->Abs "x" (->Var "x")))
-- 
cgit v1.2.3