lambda-nantes/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/src/Minilang/Lambda/Eval.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:e656098a35ee9cc0bc86729d2ebbbb13047ad61ddraft env-based normaliser2025-11-06T06:51:11ZArnaud Baillyarnaud@pankzsoft.com2025-11-06T06:51:11Zurn:sha1:15c684d437da53ddfb88bbc9ad566588f89732c1Add server capability2025-11-01T16:45:25ZArnaud Baillyarnaud@pankzsoft.com2025-11-01T16:45:25Zurn:sha1:2a20afb971ef3323955964b1bbb5f75af4ca5fcbwip: port REPL from minilang2025-10-28T19:14:16ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T19:14:16Zurn:sha1:1d1f0efc7de1eaa0c8a6b503892c2f950008fde6Provide function to go back from a deBruijn term to an AST2025-10-28T17:48:27ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T17:34:16Zurn:sha1:a210419fd60c00d011f70fb1b968031621e4c01awip: use de Bruijn indices representation2025-10-28T15:42:28ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T15:42:28Zurn:sha1:1c4a175e00e727ac4987f60503bd7dbaeb3f26ad
provide sample complex terms to evaluate
Parse let expressions2025-10-27T15:48:13ZArnaud Baillyarnaud@pankzsoft.com2025-10-27T15:48:13Zurn:sha1:ee93e3434ecb050f344b45d075e93429e8ebe22d