diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-03 19:50:08 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-03 19:50:08 +0100 |
| commit | ee9b0f357d959a8306fab36ebea6ee1efeb1c70e (patch) | |
| tree | 8d3dd23929ab1e365b6e5f7f0e9b1db4ca1c400b /lambda-calcul/haskell/fac.lisp | |
| parent | 7e9714839c12dbe8b9386f933c8b14d49567ae79 (diff) | |
| download | lambda-nantes-ee9b0f357d959a8306fab36ebea6ee1efeb1c70e.tar.gz | |
fix bool and fac examples
Diffstat (limited to 'lambda-calcul/haskell/fac.lisp')
| -rw-r--r-- | lambda-calcul/haskell/fac.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |