From d77d0020a2fe8422a7aaf6d6f10c6e85ec8a42db Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Sun, 16 Jun 2024 23:49:48 +0200
Subject: [PATCH] Solve exercise 1

---
 Exercises/exercise-7/Lambda.hs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Exercises/exercise-7/Lambda.hs b/Exercises/exercise-7/Lambda.hs
index a838fdf..8366c83 100644
--- a/Exercises/exercise-7/Lambda.hs
+++ b/Exercises/exercise-7/Lambda.hs
@@ -1,3 +1,11 @@
+--------------------
+-- Exercise 1
+--------------------
+-- Ja
+-- Nein
+-- Ja
+-- Nein
+
 data Term =
     Nat Integer
     | Abs String Term   -- EAbs Abstraction