Content deleted Content added
Line 66:
I'm still not seeing what (fix f') should produce here, which was my original question.
If the answer is 'fix can only be defined over recursive functions like plus', don't attempt to take the fixpoint 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?
--[[User:Natecull|Natecull]] ([[User talk:Natecull|talk]]) 06:16, 13 June 2009 (UTC)
| |||