Revision as of 23:35, 25 April 2017 edit SineBot (talk \| contribs) Bots 2,564,661 edits m Signing comment by 201.124.239.99 - "→Values and domains section is obscure: new section" ← Previous edit		Revision as of 01:08, 19 May 2017 edit undo Thepigdog (talk \| contribs) Extended confirmed users 5,174 edits →Values and domains section is obscure Next edit →
Line 564: For this reasons this section should be deleted! <!-- Template:Unsigned IP --><small class="autosigned">— Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[Special:Contributions/201.124.239.99\|201.124.239.99]] ([[User talk:201.124.239.99#top\|talk]]) 23:33, 25 April 2017 (UTC)</small> <!--Autosigned by SineBot--> : 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)

Talk:Fixed-point combinator: Difference between revisions