pingu/Computeability
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Make it clean

Browse Source
This commit is contained in:
pingu
2025-11-25 19:17:22 +01:00
parent 855b97adc5
commit 364ea870ed
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
3or4/Interpreter/Self.hs
View File

@ -37,6 +37,7 @@ elemExp =
substBrExp :: Exp substBrExp :: Exp
substBrExp = substBrExp =
subst (Variable "if") ifExp .
subst (Variable "elem") elemExp $ parse subst (Variable "elem") elemExp $ parse
"\\subst. \\var. \\b. case b of \ "\\subst. \\var. \\b. case b of \
\ { Branch(c,vs,e') -> if (elem var vs) Branch(c,vs,e') Branch(c,vs, subst e') \ \ { Branch(c,vs,e') -> if (elem var vs) Branch(c,vs,e') Branch(c,vs, subst e') \