lambda-nantes/lambda-calcul/haskell/src/Minilang/Lambda/Parser.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/Parser.hs?h=main2026-03-22T15:05:42ZAdd strings handling2026-03-22T15:05:42ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T15:05:42Zurn:sha1:a1e0b0e5071f851c865ae567de7a28014a1eafc4Add integers parsing2026-03-22T07:49:18ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T07:49:18Zurn:sha1:91ae5eb9e16b00603c3dfa5ec123c64dd140765dcan parse whole programs and load them2025-11-05T11:02:23ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T11:02:23Zurn:sha1:99e2ce71faa82e7b99574895e0fe24183ba9f6c3Can parse definitions2025-11-03T21:32:26ZArnaud Baillyarnaud@pankzsoft.com2025-11-03T21:32:26Zurn:sha1:94214ce9a82643a4fa2776ee972636a3d0539a54resugar evaluated term2025-11-03T21:08:25ZArnaud Baillyarnaud@pankzsoft.com2025-11-03T21:08:25Zurn:sha1:186785c7bc7d511fef75ec22e72143f7707ae886Provide 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 multiple let expressions2025-10-27T17:29:14ZArnaud Baillyarnaud@pankzsoft.com2025-10-27T17:29:14Zurn:sha1:1eee551ed24b58ba64d54ea19ffaab1b2821a459Parse let expressions2025-10-27T15:48:13ZArnaud Baillyarnaud@pankzsoft.com2025-10-27T15:48:13Zurn:sha1:ee93e3434ecb050f344b45d075e93429e8ebe22dfeat: can desugar expressions2025-10-17T20:24:04ZArnaud Baillyarnaud@pankzsoft.com2025-10-17T20:24:04Zurn:sha1:2488429444c2740a075a1f13217ca1838f11026f