Compare commits

...

1 Commits

Author SHA1 Message Date
65ef1c7e6d Baaa 2025-11-25 19:51:42 +01:00

View File

@@ -70,7 +70,7 @@ lookupExp =
\ -- 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