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

Compare commits

base: pingu:65ef1c7e6df33a74278d2d9fe6de8d09a5416bba
Branches Tags
pingu:main
..
compare: pingu:f477fc16dfeed5dce52074b51b12935a7ac3ac30
Branches Tags
pingu:main

2 Commits
65ef1c7e6d ... f477fc16df

Author SHA1 Message Date
pingu
f477fc16df Huh? 2025-11-25 21:09:40 +01:00
pingu
6506b4fcca Hm? 2025-11-25 20:35:22 +01:00
1 changed files with 0 additions and 1 deletions
Expand all files Collapse all files

1
3or4/Interpreter/Self.hs
View File

@@ -67,7 +67,6 @@ 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', xs, e') -> if (equal c c') Pair(xs,e') (lookup bs) } \ \ { Branch(c', xs, e') -> if (equal c c') Pair(xs,e') (lookup bs) } \