[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

problem with induction #2

Before anyone takes a closer look at the crap I wrote in my mail
"problem with induction", here's a solution:

forget about the induction, just return a new function:

t(str, ba): book_array =
  (LAMBDA (n: range): 
     IF ba(n)`titel = str THEN ba(n)
     ELSE none

Thanks anyway,