summaryrefslogtreecommitdiff
path: root/rust/src/lambda.rs
AgeCommit message (Expand)Author
2025-01-25Move λ-calcul workshop code to subdirectoryArnaud Bailly
2024-10-10Built-in /eval endpoint sometimes return garbageArnaud Bailly
2024-10-10Improve leaderboard to add timestamp and resultArnaud Bailly
2024-10-09Generate multiple expressionsArnaud Bailly
2024-10-09Use 32 bits seed for generating termsArnaud Bailly
2024-10-09[wip] generate nested terms through pairing functionArnaud Bailly
2024-10-09[wip] client generates applications with more than 2 termsArnaud Bailly
2024-10-09Generate simple lambda formsArnaud Bailly
2024-10-08Generate nested binary applicationsArnaud Bailly
2024-10-08Generate simple applicationsArnaud Bailly
2024-10-06Use proptest's Strategy to generate expressionsArnaud Bailly
2024-10-06Restructure Client to contain all test execution logicArnaud Bailly
2024-10-05Basic loop to send requests to registered clientsArnaud Bailly
2024-10-01Rename eval() to be more specificArnaud Bailly
2024-10-01Simplify eval() to match WHNF definitionArnaud Bailly
2024-09-25Extract IO operations to own moduleArnaud Bailly
2024-09-25Check variables are resolved across scopesArnaud Bailly
2024-09-25Introduce basic REPLArnaud Bailly
2024-09-25Let creates a new environmentArnaud Bailly
2024-09-25Introduce let-expressionsArnaud Bailly
2024-09-25Prepare parser to return multiple valuesArnaud Bailly
2024-09-25Evaluate in normal order until normal form is reachedArnaud Bailly
2024-09-25Evaluate terms recursively on applicationArnaud Bailly
2024-09-25Evaluate both side of applicationArnaud Bailly
2024-09-24alpha-conversion when substituting variables under lambdaArnaud Bailly
2024-09-24Substitution occurs under applicationArnaud Bailly
2024-09-24Fix (naive) substitution under lambdaArnaud Bailly
2024-09-24Basic substitution for a single variableArnaud Bailly
2024-09-24Push down tests at parser levelArnaud Bailly
2024-09-24Split module into ast and parserArnaud Bailly
2024-09-24Ignore whitespaces in inputArnaud Bailly
2024-09-23Introduce symbolsArnaud Bailly
2024-09-23Can parse and evaluate boolean atomsArnaud Bailly
2024-09-23Add property for evaluating numbersArnaud Bailly
2024-09-23Scaffolding of main, library, and testsArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-05 23:47:58 +0000