lambda-nantes/lambda-calcul/haskell/bool.lisp, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/bool.lisp?h=main 2025-11-03T18:50:08Z fix bool and fac examples 2025-11-03T18:50:08Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-03T18:50:08Z urn:sha1:ee9b0f357d959a8306fab36ebea6ee1efeb1c70e wip: use de Bruijn indices representation 2025-10-28T15:42:28Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-28T15:42:28Z urn:sha1:1c4a175e00e727ac4987f60503bd7dbaeb3f26ad provide sample complex terms to evaluate