diff options
| author | Cédric <cedric.pineau@taelys.com> | 2024-10-14 22:16:11 +0200 |
|---|---|---|
| committer | Cédric <cedric.pineau@taelys.com> | 2024-10-16 21:42:15 +0200 |
| commit | d6f68e919db51d366c8ca3c1509bea12aa81d692 (patch) | |
| tree | eddb369f40e3ae15ac50264675545c49263aef74 /clojure/src/lccl/lc/ast.clj | |
| parent | 63c0c643bb8f60d7cf481b89c3102678c808d2a1 (diff) | |
| download | lambda-nantes-d6f68e919db51d366c8ca3c1509bea12aa81d692.tar.gz | |
Add clojure evaluator
Diffstat (limited to 'clojure/src/lccl/lc/ast.clj')
| -rw-r--r-- | clojure/src/lccl/lc/ast.clj | 7 |
1 files changed, 7 insertions, 0 deletions
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"))) |