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

diff --git a/Arithmetic.lc b/Arithmetic.lc
index 115a869..6851970 100644
--- a/Arithmetic.lc
+++ b/Arithmetic.lc
@@ -1,4 +1,13 @@
-Nula=\f.\x.x
-Succ=\n.\f.\x.(f ((n f) x))
-\f.\x.(f x)
-(\n.\f.\x.(f ((n f) x)) \f.\x.(f x))
+import Logic
+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)))