summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell
AgeCommit message (Expand)Author
2025-10-27Parse multiple let expressionsHEADmainArnaud Bailly
2025-10-27Parse let expressionsArnaud Bailly
2025-10-27Fix evaluation with environment by introducing ValueArnaud Bailly
2025-10-27Add more tests and referencesArnaud Bailly
2025-10-17feat: main program evaluates s-expressionsArnaud 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
2025-10-13add minimal radicle CI configurationArnaud Bailly
2025-10-13add minimal evaluator and type inferenceArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-05 22:24:48 +0000