summaryrefslogtreecommitdiff
path: root/rust
AgeCommit message (Collapse)Author
2024-09-29[wip] Draft tester programArnaud Bailly
The goal is to have a simple CLI that will repeatedly run sequence of tests against a known (Rest-ish) API, until all tests are "green".
2024-09-25Extract IO operations to own moduleArnaud Bailly
2024-09-25Ensure application has at least two valuesArnaud Bailly
2024-09-25Desugar application of more than 2 valuesArnaud Bailly
2024-09-25Allow multiple variables in single lambdaArnaud 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-25Parse definitions of symbolsArnaud Bailly
2024-09-25Can parse and evaluate multiple expressions from a single inputArnaud Bailly
2024-09-25Prepare parser to return multiple valuesArnaud Bailly
2024-09-25Add integration test for normal formArnaud 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-24Add integration test for applicationArnaud Bailly
2024-09-24Basic substitution for a single variableArnaud Bailly
2024-09-24Inline next token advanceArnaud Bailly
2024-09-24Parse abstractionsArnaud Bailly
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.
2024-09-24Introduce recursive descent parserArnaud Bailly
2024-09-24Tokenize λArnaud Bailly
2024-09-24Main prints result of interpreterArnaud Bailly
2024-09-24Main prints result of interpreterArnaud Bailly
2024-09-24Parse binary application with parensArnaud Bailly
2024-09-24Introduce explicit Token type and parse parensArnaud Bailly
2024-09-24Check parsing is inverse to displayArnaud Bailly
2024-09-24Tokenize a sequence of whitespace separated valuesArnaud Bailly
2024-09-24Push down tests at parser levelArnaud Bailly
Interpret now is a Value-transforming function
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
2024-09-23Scaffolding interpret functionArnaud Bailly
2024-09-23Started Rust interpreterArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-06 03:11:30 +0000