lambda-nantes/rust/src/ast.rs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/rust/src/ast.rs?h=main2025-01-25T09:45:41ZMove λ-calcul workshop code to subdirectory2025-01-25T09:45:41ZArnaud Baillyarnaud.bailly@iohk.io2025-01-25T09:45:41Zurn:sha1:7752d73216578d5961751b5d0535088d384b4aa6Fix tests and app spines representations2024-10-09T13:35:13ZArnaud Baillyarnaud@pankzsoft.com2024-10-09T13:34:54Zurn:sha1:318f2008e708ea8fc2fde69525fd8ef530e68cc7[wip] generate nested terms through pairing function2024-10-09T11:29:57ZArnaud Baillyarnaud.bailly@iohk.io2024-10-09T11:29:57Zurn:sha1:8d61fb9ca076f481850425f4424469acbb1afe7c[wip] client generates applications with more than 2 terms2024-10-09T07:38:52ZArnaud Baillyarnaud.bailly@iohk.io2024-10-09T07:38:52Zurn:sha1:e4af8559784e851047702045ff677c9a91897fddGenerate simple applications2024-10-08T19:09:37ZArnaud Baillyarnaud.bailly@iohk.io2024-10-08T19:09:37Zurn:sha1:5d24ab1e8765dbd5001aba21fe59d754224720f5Use proptest's Strategy to generate expressions2024-10-06T19:11:04ZArnaud Baillyarnaud.bailly@iohk.io2024-10-06T19:11:04Zurn:sha1:a2220cd6ca103b636567b557d21ab345c6ab99e0Basic loop to send requests to registered clients2024-10-05T08:41:55ZArnaud Baillyarnaud.bailly@iohk.io2024-10-05T08:41:55Zurn:sha1:22a53ab297447c2f044d01bf443f7b140745762fIntroduce let-expressions2024-09-25T11:30:24ZArnaud Baillyarnaud.bailly@iohk.io2024-09-25T11:30:24Zurn:sha1:90dfe422f9c7058bebde0abf7eb3c7675c8fbf66Parse definitions of symbols2024-09-25T10:52:36ZArnaud Baillyarnaud.bailly@iohk.io2024-09-25T10:38:55Zurn:sha1:7263237a7e2a3dcfb19978e3ebae022a8f2cb0b8Parse abstractions2024-09-24T14:22:31ZArnaud Baillyarnaud.bailly@iohk.io2024-09-24T14:22:31Zurn:sha1:5e5c4f2c47ec867d698c001cfe8d097be5744a57
Got tricked with or()'s function eagerness: Even when the left hand
side succeeds, the argument was evaluated which consumed a token in
the parser which prevented proper parsing.