ast.clj « lc « lccl « src « clojure - lambda-nantes - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/clojure/src/lccl/lc/ast.clj

blob: 58bad112e185fdc703b8866f41df39431bd3bda0 (plain)

(ns lccl.lc.ast)

(defrecord Var [name])
(defrecord Abs [arg body])
(defrecord App [left right])

(def IDENTITY (->Abs "x" (->Var "x")))