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

Rename variable

Browse source
This commit is contained in:
Manuel Thalmann 2024-06-17 00:31:18 +02:00
parent 08ed943d56
commit 601ef93a70
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -11,7 +11,7 @@ data Term =
| Add | Add
pretty x = case x of 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 ++ ")" (Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")"
(Var name) -> name (Var name) -> name
Add -> "Add" Add -> "Add"