Compare commits
1 Commits
main
...
65ef1c7e6d
| Author | SHA1 | Date | |
|---|---|---|---|
| 65ef1c7e6d |
@@ -70,7 +70,7 @@ lookupExp =
|
|||||||
\ -- TODO: Fix for Nil() \
|
\ -- 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
|
||||||
|
|||||||
Reference in New Issue
Block a user