![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
Monday, December 16th, 2002 03:27 pmDone with my only actual final. How's this for an answer to a question?
(λf.((λx.f(x x)) λx.f(x x))) (λg.λL.λi.(if hd L = i then true else g(L) i)) myList myInt
It calculates whether myInt is contained in myInt. I think that's right, anyway. Er, d'oh. I didn't properly insert a stopping condition. But we were allowed to assume the list wouldn't be empty, so... it only tells you if an infinite list contains myInt!
Too bad Forum 2000 isn't operative any more. I could have practiced my pure lambda calculus.
I think I'll watch Donnie Darko on DivX now so I can delete it and download more stuff.
(λf.((λx.f(x x)) λx.f(x x))) (λg.λL.λi.(if hd L = i then true else g(L) i)) myList myInt
It calculates whether myInt is contained in myInt. I think that's right, anyway. Er, d'oh. I didn't properly insert a stopping condition. But we were allowed to assume the list wouldn't be empty, so... it only tells you if an infinite list contains myInt!
Too bad Forum 2000 isn't operative any more. I could have practiced my pure lambda calculus.
I think I'll watch Donnie Darko on DivX now so I can delete it and download more stuff.
