Compare commits

...

3 Commits

Author SHA1 Message Date
f477fc16df Huh? 2025-11-25 21:09:40 +01:00
6506b4fcca Hm? 2025-11-25 20:35:22 +01:00
65ef1c7e6d Baaa 2025-11-25 19:51:42 +01:00

View File

@@ -67,10 +67,9 @@ lookupExp =
subst (Variable "if") ifExp .
subst (Variable "equal") equalExp $ parse
"\\c. rec lookup = \\xs. case xs of \
\ -- TODO: Fix for Nil() \
\ { Cons(b,bs) -> \
\ 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