Talk:Fixed-point combinator: Difference between revisions

Content deleted Content added
Line 566:
 
: See the wiki page on Church encoding. In fact negative numbers may be represented in lambda calculus. Also division may be implemented.
: In fact any data type can be.
 
: Pure mathematicians are interested in lambda calculus as a system with it's own ___domain. Computer programmers just want to use lambda expressions.
 
: [[User:Thepigdog|Thepigdog]] ([[User talk:Thepigdog|talk]]) 01:08, 19 May 2017 (UTC)