Content deleted Content added
Line 293:
- Hardly rigourous but very human. --[[User:Paddy3118|Paddy]] ([[User talk:Paddy3118|talk]]) 08:54, 17 February 2011 (UTC)
: The most
: Now I've thought about it bit more, related to the your question is the concept of function equality (intentional equality vs. extensional equality vs. ad-hod equality). Its not directly related to first-classness, but as you raised it in this context it might be useful to discuss in the article. —''[[User:Ruud Koot|Ruud]]'' 10:01, 17 February 2011 (UTC)
|