From 1e130750a3014baa6328e323ef877e7f7839d925 Mon Sep 17 00:00:00 2001
From: Tomas Musil <tomik.musil@gmail.com>
Date: Wed, 3 Dec 2014 16:21:10 +0100
Subject: [PATCH] remove unnecessary brackets

---
 Arithmetic.lc | 22 +++++++++++-----------
 Logic.lc      |  4 ++--
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/Arithmetic.lc b/Arithmetic.lc
index 6851970..f3cd19a 100644
--- a/Arithmetic.lc
+++ b/Arithmetic.lc
@@ -1,13 +1,13 @@
 import Logic
-Succ=\n f x.(f ((n f) x))
+Succ=\n f x.f (n f x)
 Zero=\f x.x
-One=(Succ Zero)
-Two=(Succ One)
-Three=(Succ Two)
-Add=\n m f x.((n f) ((m f) x))
-Mult=\n m f.(n (m f))
-IsZero=\n x y.((n \z.y) x)
-((Add Two) Three)
-((Mult Two) Three)
-(PrintBool (IsZero Zero))
-(PrintBool (IsZero ((Add One) Two)))
+One=Succ Zero
+Two=Succ One
+Three=Succ Two
+Add=\n m f x.n f (m f x)
+Mult=\n m f.n (m f)
+IsZero=\n x y.n (\z.y) x
+Add Two Three
+Mult Two Three
+PrintBool (IsZero Zero)
+PrintBool (IsZero (Add One Two))
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
-- 
2.4.2