Content deleted Content added
David Wahler (talk | contribs) m fixed formatting |
m moved stub marker to Church boolean section |
||
Line 118:
: <tt>Or := λ''mnab''.''ma''(''nab'')</tt>
: <tt>Not := λ''mab''.''mba''</tt>
{{compu-sci-stub}}▼
==See also==
*[[Lambda calculus]]
==External links==
*[http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Examples/const-int/ Some interactive examples of Church numerals]
▲{{compu-sci-stub}}
[[Category:Lambda calculus]]
| |||