Thu, 15 Jan 2015 21:13:52 +0100
Remove forgotten relic of ABI crash risk averse overloaded method change.
michael@0 | 1 | // Church booleans |
michael@0 | 2 | |
michael@0 | 3 | var True = t => f => t; |
michael@0 | 4 | var False = t => f => f; |
michael@0 | 5 | var bool_to_str = b => b("True")("False"); |
michael@0 | 6 | var And = a => b => a(b)(a); |
michael@0 | 7 | var Or = a => b => a(a)(b); |
michael@0 | 8 | |
michael@0 | 9 | assertEq(And(True)(True), True); |
michael@0 | 10 | assertEq(And(True)(False), False); |
michael@0 | 11 | assertEq(And(False)(True), False); |
michael@0 | 12 | assertEq(And(False)(False), False); |
michael@0 | 13 | |
michael@0 | 14 | assertEq(Or(True)(True), True); |
michael@0 | 15 | assertEq(Or(True)(False), True); |
michael@0 | 16 | assertEq(Or(False)(True), True); |
michael@0 | 17 | assertEq(Or(False)(False), False); |