1 files changed, 10 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/bool.lisp b/lambda-calcul/haskell/bool.lisp
new file mode 100644
index 0000000..250c38a
--- /dev/null
+++ b/lambda-calcul/haskell/bool.lisp
@@ -0,0 +1,10 @@
+(let ((False (lam (f t) f))
+      (True (lam (f t) t))
+      (If (lam (b x y) (b x y)))
+      (Zero (lam (z s) z))
+      (Succ (lam (n z s) (s n)))
+      (One (Succ Zero))
+      (Two (Succ One))
+      (Three (Succ Two))
+      (IsZero (lam (n) (n True (lam (m) False)))))
+  (IsZero Two))