manuth/zhaw-fup
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Solve exercise 2

Browse source
This commit is contained in:
Manuel Thalmann 2024-06-16 23:59:43 +02:00
parent d77d0020a2
commit f0673525ee
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Exercises/exercise-7/Lambda.hs
View file

@ -6,6 +6,13 @@
-- Ja -- Ja
-- Nein -- Nein
--------------------
-- Exercise 2
--------------------
-- ((Lx.(x z)) (Ly.(x y)))
-- ((Lx.(x z)) (Ly.(w (Lw.(((w y) z) x)))))
-- (Lx.((x y) (Lx.(y x))))
data Term = data Term =
Nat Integer Nat Integer
| Abs String Term -- EAbs Abstraction | Abs String Term -- EAbs Abstraction