X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/494e6afee1f1c583a880fca4e1f234de6823271a..dbb3af7ea8341e87b254dc94a613aec837b676b8:/Logic.lc

diff --git a/Logic.lc b/Logic.lc
index 8193a34..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)
+And=\a b.a b False
 If=\x.x
-PrintBool=\x.(((If x) TRUE) FALSE)
+PrintBool=\x.If x TRUE FALSE