From 7e360c357ed3e10346f424ed7081833c7481c815 Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Sun, 16 Jun 2024 23:46:51 +0200
Subject: [PATCH] Add a lambda term type

---
 Exercises/exercise-7/Lambda.hs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 Exercises/exercise-7/Lambda.hs

diff --git a/Exercises/exercise-7/Lambda.hs b/Exercises/exercise-7/Lambda.hs
new file mode 100644
index 0000000..345d8db
--- /dev/null
+++ b/Exercises/exercise-7/Lambda.hs
@@ -0,0 +1,6 @@
+data Term =
+    Nat Integer
+    | Abs String Term   -- EAbs Abstraction
+    | Inv Term Term     -- EApp Invocation (a.k.a. Application) of a function
+    | Var String        -- EVar a variable
+    | Add