From 601ef93a702428b466620de5524aa6a5c6d7095f Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Mon, 17 Jun 2024 00:31:18 +0200 Subject: [PATCH] Rename variable --- Exercises/exercise-7/Lambda.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Exercises/exercise-7/Lambda.hs b/Exercises/exercise-7/Lambda.hs index 9eda54b..0e00a46 100644 --- a/Exercises/exercise-7/Lambda.hs +++ b/Exercises/exercise-7/Lambda.hs @@ -11,7 +11,7 @@ data Term = | Add pretty x = case x of - (Abs name term) -> "L" ++ name ++ "." ++ pretty term + (Abs param term) -> "L" ++ param ++ "." ++ pretty term (Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")" (Var name) -> name Add -> "Add"