Revision as of 06:29, 13 June 2009 edit Natecull (talk \| contribs) 301 edits →I don't get it ← Previous edit		Revision as of 06:34, 13 June 2009 edit undo Natecull (talk \| contribs) 301 edits →I don't get it Next edit →
Line 65: 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? I'm still not seeing what (fix f') should produce here, which was my original question. --[[User:Natecull\|Natecull]] ([[User talk:Natecull\|talk]]) 06:16, 13 June 2009 (UTC)

Talk:Fixed-point combinator: Difference between revisions