From ee9b0f357d959a8306fab36ebea6ee1efeb1c70e Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 3 Nov 2025 19:50:08 +0100 Subject: fix bool and fac examples --- lambda-calcul/haskell/fac.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/fac.lisp') diff --git a/lambda-calcul/haskell/fac.lisp b/lambda-calcul/haskell/fac.lisp index 549334b..b8b624a 100644 --- a/lambda-calcul/haskell/fac.lisp +++ b/lambda-calcul/haskell/fac.lisp @@ -36,4 +36,4 @@ (n704 (Succ (sumto n37))) (n720 (fac n6)) ) - (eqnat n720 (add n704 n17))) + (eqnat n720 (add n703 n17))) -- cgit v1.3.1