lambda-nantes/rust/src/parser.rs, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/src/parser.rs?h=main 2025-01-25T09:45:41Z Move λ-calcul workshop code to subdirectory 2025-01-25T09:45:41Z Arnaud Bailly arnaud.bailly@iohk.io 2025-01-25T09:45:41Z urn:sha1:7752d73216578d5961751b5d0535088d384b4aa6 Use proptest's Strategy to generate expressions 2024-10-06T19:11:04Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-06T19:11:04Z urn:sha1:a2220cd6ca103b636567b557d21ab345c6ab99e0 Extract IO operations to own module 2024-09-25T19:49:33Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T19:49:33Z urn:sha1:3ac809d7f8c4f29bfcd0a52c7e168e783abc88df Ensure application has at least two values 2024-09-25T13:49:59Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T13:49:59Z urn:sha1:7f83391f3e4f37fbc512fd7d2bb7c7ec2f0858e9 Desugar application of more than 2 values 2024-09-25T13:35:25Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T13:35:25Z urn:sha1:56678d54123426d7975cb5786b10c82af5bc0472 Allow multiple variables in single lambda 2024-09-25T13:18:23Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T13:18:23Z urn:sha1:ccbec05210dfd810a950b483db0e0c60ce83859d Introduce basic REPL 2024-09-25T12:37:06Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T12:37:06Z urn:sha1:0fed41e6afbf32d274660cc3ec435686901d12c4 Introduce let-expressions 2024-09-25T11:30:24Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T11:30:24Z urn:sha1:90dfe422f9c7058bebde0abf7eb3c7675c8fbf66 Parse definitions of symbols 2024-09-25T10:52:36Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T10:38:55Z urn:sha1:7263237a7e2a3dcfb19978e3ebae022a8f2cb0b8 Can parse and evaluate multiple expressions from a single input 2024-09-25T10:19:07Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T10:18:02Z urn:sha1:a99986ec4c903f116a5ed264f5cbbcba954c9338