problem with induction #2

[Christof Simons <simonsc@uni-muenster.de>]

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
     ENDIF)

Thanks anyway,

-c

---

• Prev by Date: problem with induction
• Next by Date: function that returns the element of a singleton passed to it as aparameter.
• Prev by thread: function that returns the element of a singleton passed to it as aparameter.
• Next by thread: problem with induction
• Index(es):
  • Date
  • Thread