lambda-nantes/lambda-calcul/haskell/test/Minilang/Lambda/EvalSpec.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/EvalSpec.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
Add integers parsing2026-03-22T07:49:18ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T07:49:18Zurn:sha1:91ae5eb9e16b00603c3dfa5ec123c64dd140765dfix call-by-value evaluator base on NBE2025-11-07T18:26:01ZArnaud Baillyarnaud@pankzsoft.com2025-11-07T18:26:01Zurn:sha1:e656098a35ee9cc0bc86729d2ebbbb13047ad61devaluate terms when defining them2025-11-06T07:35:36ZArnaud Baillyarnaud@pankzsoft.com2025-11-06T07:35:36Zurn:sha1:b87d5b45110cd7efe7109dd6d4e9c19ef28522aawip: port REPL from minilang2025-10-28T19:14:16ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T19:14:16Zurn:sha1:1d1f0efc7de1eaa0c8a6b503892c2f950008fde6Fix evaluation with environment by introducing Value2025-10-27T15:35:06ZArnaud Baillyarnaud@pankzsoft.com2025-10-27T15:35:06Zurn:sha1:b899a23e2db86a0a12c5de9ee82588819c1caf89Add more tests and references2025-10-27T15:26:55ZArnaud Baillyarnaud@pankzsoft.com2025-10-27T15:26:55Zurn:sha1:46d94d86705a7fd0a7c5d0d7c6a74f11669641caadd minimal evaluator and type inference2025-10-13T07:27:07ZArnaud Baillyarnaud@pankzsoft.com2025-10-13T07:27:07Zurn:sha1:3a67e69bfe9492d2a2fc5e4b07cc8c909a346064