Content deleted Content added
Line 63:
Hmmmm. So, if I read you right, you're basically saying what I was figuring at first: that fix 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?
--[[User:Natecull|Natecull]] ([[User talk:Natecull|talk]]) 06:16, 13 June 2009 (UTC) == Further examples ==
| |||