X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/e0da0730ff4b328909789806b1d65b89eeb3b84b..bff68fbafa3711186b19a1c5dcc16becb49f162a:/Logic.lc?ds=sidebyside

diff --git a/Logic.lc b/Logic.lc
index 27b52fc..7ed9ed5 100644
--- a/Logic.lc
+++ b/Logic.lc
@@ -1,5 +1,5 @@
-True=\x.\y.x
-False=\x.\y.y
-And=\a.\b.((a b) False)
+True=\x y.x
+False=\x y.y
+And=\a b.a b False
 If=\x.x
-PrintBool=\x.(((If x) TRUE) FALSE)
+PrintBool=\x.If x TRUE FALSE