Content deleted Content added
m Documented my fix of Klop's fix :-) |
m Added my signature, about the previous fix (sorry) |
||
Line 1:
=Klop combinator=
Did anybody notice that the fixed point combinator by Klop as given here is wrong? Did anybody actually try it? I used it to test my lambda-calculus interpreter and I was thinking of a bug in it, until I found the correct definition somewhere on the web: [http://www.macs.hw.ac.uk/~fairouz/teaching/langs-defs/slides/lecture12-langs.pdf]
(look for '''$'''). There should be '''26''' L's, not 28 as given here. The problem is that many web pages directly copy from the Wikipedia text, and give the same (wrong) definition. I don't know whether the page was vandalized long ago, or it was a genuine transcription error. Fixed. --[[User:Positron|positron]] 10:14, 7 March 2006 (UTC)
=Dumbing Down=
| |||