From d6f68e919db51d366c8ca3c1509bea12aa81d692 Mon Sep 17 00:00:00 2001 From: Cédric Date: Mon, 14 Oct 2024 22:16:11 +0200 Subject: Add clojure evaluator --- clojure/src/lccl/lc/ast.clj | 7 +++++++ 1 file changed, 7 insertions(+) create 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 new file mode 100644 index 0000000..58bad11 --- /dev/null +++ b/clojure/src/lccl/lc/ast.clj @@ -0,0 +1,7 @@ +(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