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))) )",