From 8871f1430d2fea0a49160983a762a25004ef7875 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 28 Oct 2022 17:40:11 -0700 Subject: [PATCH] Fixed a bad macro --- lamb/__main__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lamb/__main__.py b/lamb/__main__.py index df3e566..d0c58da 100755 --- a/lamb/__main__.py +++ b/lamb/__main__.py @@ -45,9 +45,9 @@ r.run_lines([ "T = λab.a", "F = λab.b", "NOT = λa.(a F T)", - "AND = λab.(a F b)", + "AND = λab.(a b F)", "OR = λab.(a T b)", - "XOR = λab.(a (NOT a b) b)", + "XOR = λab.(a (NOT b) b)", "M = λx.(x x)", "W = M M", "Y = λf.( (λx.(f (x x))) (λx.(f (x x))) )",