Huh?

Hm?
2025-11-25 21:09:40 +01:00 · 2025-11-25 20:35:22 +01:00
1 changed files with 0 additions and 1 deletions
@@ -67,7 +67,6 @@ 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', xs, e') -> if (equal c c') Pair(xs,e') (lookup bs) } \
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