lambda-nantes/lambda-calcul/haskell/test/Minilang/Lambda/DeBruijnSpec.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/test/Minilang/Lambda/DeBruijnSpec.hs?h=main2026-03-22T15:05:42ZAdd strings handling2026-03-22T15:05:42ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T15:05:42Zurn:sha1:a1e0b0e5071f851c865ae567de7a28014a1eafc4Add builtin arithmetic operators2026-03-22T12:16:21ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T12:16:21Zurn:sha1:4fed459d89b6b3abcce8028b19af806b48a38bd7
* also allow choosing evaluator
* ensures equivalence of evaluators up-to α-renaming
* checks server accepts answers from challenge
evaluate deBruijn terms in environment2025-11-05T08:09:53ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T08:09:53Zurn:sha1:62651f13e08304d8fa6395fde7352984f48adb46wip: port REPL from minilang2025-10-28T19:14:16ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T19:14:16Zurn:sha1:1d1f0efc7de1eaa0c8a6b503892c2f950008fde6wip: use de Bruijn indices representation2025-10-28T15:42:28ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T15:42:28Zurn:sha1:1c4a175e00e727ac4987f60503bd7dbaeb3f26ad
provide sample complex terms to evaluate