Content deleted Content added
Change =sections= to ==sections==, to play nicer with '+' button. |
|||
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)
Line 5:
:I don't think anybody did try it. Should've just removed it when I did a big cleanup a while back, I suppose. Thanks for the fix. —<tt>[[User:donhalcon|donhalcon]]</tt><sup>[[User talk:donhalcon|╤]]</sup> 14:52, 7 March 2006 (UTC)
==Dumbing Down==
Could you dumb it down a shade?
Line 14:
I suspect that some of that stuff is graffiti, but I'm not expert enough to say for sure. Will someone please check on it? --unknown
==Y Combinator==
It seems like the Y Combinator should have its own page.
|