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

Baaa

Browse Source 
Hm?

Huh?
This commit is contained in:
pingu
2025-11-25 19:51:42 +01:00
parent 5a911ff000
commit 00413621f7
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
3or4/Interpreter/Self.hs
View File

@ -67,10 +67,9 @@ lookupExp =
subst (Variable "if") ifExp . subst (Variable "if") ifExp .
subst (Variable "equal") equalExp $ parse subst (Variable "equal") equalExp $ parse
"\\c. rec lookup = \\xs. case xs of \ "\\c. rec lookup = \\xs. case xs of \
\ -- TODO: Fix for Nil() \
\ { Cons(b,bs) -> \ \ { Cons(b,bs) -> \
\ case b of \ \ case b of \
\ { Branch(c', bs, e') -> if (equal c c') Pair(bs,e') (lookup bs) } \ \ { Branch(c', xs, e') -> if (equal c c') Pair(xs,e') (lookup bs) } \
\ }" \ }"
substsExp :: Exp substsExp :: Exp