Solve exercise 1

This commit is contained in:
Manuel Thalmann 2024-06-16 23:49:48 +02:00
parent c2ab01c161
commit d77d0020a2

View file

@ -1,3 +1,11 @@
--------------------
-- Exercise 1
--------------------
-- Ja
-- Nein
-- Ja
-- Nein
data Term =
Nat Integer
| Abs String Term -- EAbs Abstraction