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

diff --git a/Arithmetic.lc b/Arithmetic.lc
index 5a30a17..6851970 100644
--- a/Arithmetic.lc
+++ b/Arithmetic.lc
@@ -1,12 +1,12 @@
 import Logic
-Succ=\n.\f.\x.(f ((n f) x))
-Zero=\f.\x.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=\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))