summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell
AgeCommit message (Collapse)Author
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 radicle CI configurationArnaud Bailly
2025-10-13add minimal evaluator and type inferenceArnaud Bailly