From 10feb2dc8ad775a64b6db4d19c76bd6fa38044a8 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 12:07:48 +0100 Subject: fix resolution of free variables --- lambda-calcul/haskell/bool-prog.lisp | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 lambda-calcul/haskell/bool-prog.lisp (limited to 'lambda-calcul/haskell/bool-prog.lisp') diff --git a/lambda-calcul/haskell/bool-prog.lisp b/lambda-calcul/haskell/bool-prog.lisp new file mode 100644 index 0000000..86fab0a --- /dev/null +++ b/lambda-calcul/haskell/bool-prog.lisp @@ -0,0 +1,19 @@ +(def False (lam (f t) f)) +(def True (lam (f t) t)) +(def Not (lam (b) (b True False))) + +(Not True) + +(def And (lam (a b) (a False b))) +(def Or (lam (a b) (a b True))) +(def If (lam (b x y) (b x y))) +(def Zero (lam (z s) z)) +(def Succ (lam (n z s) (s n))) +(def One (Succ Zero)) +(def Two (Succ One)) +(def Three (Succ Two)) +(def IsZero (lam (n) (n True (lam (m) False)))) + +(Or (IsZero One) (IsZero Two)) + +(IsZero Zero) -- cgit v1.3.1