The idea of this project is to study concepts of language engineering such as lexical analysis, syntax analysis and semantic analysis. The language was supposed to be the classic untyped lambda calculus.
- Sedlex
- Menhir
- ppx_deriving
- Nix (You can try to build without it)
nix develop
You might need to enable flake and nix-command.
dune exec interpreter <filename>.lambdadune exec interpreter
Paper reference: A Tutorial Introduction to the Lambda Calculus