From e710a68bf3f9f62c11ca1bab1c52ee50652a6d4f Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Mon, 17 Jun 2024 00:02:00 +0200 Subject: [PATCH] Reorder all slide tasks --- Exercises/exercise-7/Lambda.hs | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) diff --git a/Exercises/exercise-7/Lambda.hs b/Exercises/exercise-7/Lambda.hs index a5e4da0..c3b5684 100644 --- a/Exercises/exercise-7/Lambda.hs +++ b/Exercises/exercise-7/Lambda.hs @@ -1,3 +1,7 @@ +-------------------- +-- Slides +-------------------- + data Term = Nat Integer | Abs String Term -- EAbs Abstraction @@ -5,6 +9,16 @@ data Term = | Var String -- EVar a variable | Add +pretty x = case x of + (Abs name term) -> "L" ++ name ++ "." ++ pretty term + (Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")" + (Var name) -> name + Add -> "Add" + +-- example +-- >>> pretty (Abs "x" $ Abs "y" $ Inv (Inv Add (Var "x")) (Var "y")) +-- "Lx.Ly.((Add x) y)" + -------------------- -- Exercise 1 -------------------- @@ -19,13 +33,3 @@ data Term = -- ((Lx.(x z)) (Ly.(x y))) -- ((Lx.(x z)) (Ly.(w (Lw.(((w y) z) x))))) -- (Lx.((x y) (Lx.(y x)))) - -pretty x = case x of - (Abs name term) -> "L" ++ name ++ "." ++ pretty term - (Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")" - (Var name) -> name - Add -> "Add" - --- example --- >>> pretty (Abs "x" $ Abs "y" $ Inv (Inv Add (Var "x")) (Var "y")) --- "Lx.Ly.((Add x) y)"