summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/src/Minilang/Lambda
AgeCommit message (Collapse)Author
2026-03-22Add builtin arithmetic operatorsArnaud Bailly
* also allow choosing evaluator * ensures equivalence of evaluators up-to α-renaming * checks server accepts answers from challenge
2026-03-22Add integers parsingArnaud Bailly
2025-11-07fix call-by-value evaluator base on NBEArnaud Bailly
2025-11-06evaluate terms when defining themArnaud Bailly
2025-11-06draft env-based normaliserArnaud Bailly
2025-11-05fix resolution of free variablesArnaud Bailly
2025-11-05can parse whole programs and load themArnaud Bailly
2025-11-05evaluate deBruijn terms in environmentArnaud Bailly
2025-11-03Can parse definitionsArnaud Bailly
2025-11-03resugar evaluated termArnaud Bailly
2025-11-02better rendering for type errors and evaluationArnaud Bailly
2025-11-01Add server capabilityArnaud Bailly
2025-10-28wip: port REPL from minilangArnaud Bailly
2025-10-28Provide function to go back from a deBruijn term to an ASTArnaud Bailly
2025-10-28wip: use de Bruijn indices representationArnaud Bailly
provide sample complex terms to evaluate
2025-10-27Parse multiple let expressionsArnaud Bailly
2025-10-27Parse let expressionsArnaud Bailly
2025-10-27Fix evaluation with environment by introducing ValueArnaud Bailly
2025-10-17feat: can desugar expressionsArnaud Bailly
2025-10-17feat: pretty-print expressionsArnaud Bailly
2025-10-17feat: parse an applicationArnaud Bailly
2025-10-17feat: parses single applicationArnaud Bailly
2025-10-17feat: parse λ-expr with multiple bindingsArnaud Bailly
2025-10-17feat: can parse a simple λ-expressionArnaud Bailly
2025-10-17feat: can parse an identifier as a variable (symbol)Arnaud Bailly
2025-10-17feat: introduce parser and ASTArnaud Bailly
2025-10-17feat: add basic application to evaluate "programs"Arnaud Bailly
The main simply reads from its stdin, evaluates its input, and dump the result of the evaluation.
2025-10-13add minimal evaluator and type inferenceArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 11:36:18 +0000