Revision as of 17:09, 25 October 2005 edit Donhalcon (talk \| contribs) Extended confirmed users 982 edits m moved stub marker to Church boolean section ← Previous edit		Revision as of 19:24, 25 October 2005 edit undo David Wahler (talk \| contribs) 491 edits →Church booleans: changed to {{sect-stub}} Next edit →
Line 119: : <tt>Not := λ''mab''.''mba''</tt> {{~~compu-sci~~sect-stub}}▼ ▲{{compu-sci-stub}} ==See also==

Church encoding: Difference between revisions