Revision as of 06:39, 13 June 2009 edit Natecull (talk \| contribs) 301 edits →I don't get it ← Previous edit		Revision as of 06:45, 13 June 2009 edit undo Natecull (talk \| contribs) 301 edits →I don't get it Next edit →
Line 67: I'm still not seeing what (fix f') should produce here, which was my original question. If the answer is '~~fix~~Y can only be defined over recursive functions like plus', don't attempt to take the fixpoint using Y of a non-recursive one like f' then it makes sense to me. But that means it's not actually a generalised fixpoint combinator, is it? It's only the fixpoint for a very small subset of all possible functions which play by the rules. --[[User:Natecull\|Natecull]] ([[User talk:Natecull\|talk]]) 06:16, 13 June 2009 (UTC)

Talk:Fixed-point combinator: Difference between revisions