Mark
/
lamb
Archived
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed a bad macro

master
Mark 2022-10-28 17:40:11 -07:00
parent affcbc33ee
commit 8871f1430d
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lamb/__main__.py
View File

@ -45,9 +45,9 @@ r.run_lines([
"T = λab.a", "T = λab.a",
"F = λab.b", "F = λab.b",
"NOT = λa.(a F T)", "NOT = λa.(a F T)",
"AND = λab.(a F b)", "AND = λab.(a b F)",
"OR = λab.(a T b)", "OR = λab.(a T b)",
"XOR = λab.(a (NOT a b) b)", "XOR = λab.(a (NOT b) b)",
"M = λx.(x x)", "M = λx.(x x)",
"W = M M", "W = M M",
"Y = λf.( (λx.(f (x x))) (λx.(f (x x))) )", "Y = λf.( (λx.(f (x x))) (λx.(f (x x))) )",