Content deleted Content added
Line 61:
:[[User:jbolden1517|jbolden1517]]<sup><font color="DarkGreen">[[User talk:jbolden1517|Talk]]</font></sup> 22:41, 27 March 2009 (UTC)
Hmmmm. So, if I read you right, you're basically saying what I was figuring at first: that fix (by which I assume you mean Y) can only be defined on functions like plus' which are specially written in such a way as to receive a (fix whatever) function as a first argument? And not on functions like plus which are not?
So how do you prove that all functions in the system are the plus' kind and not the plus kind? Or am I still asking the wrong questions here?
| |||