Define the types to model a term in LC
- Var -> x
- App(Application) -> f x
- Lam(Lambda) -> λx.f x
Create a function to display a LC
Implement a parser to LC
- https://dev.to/chshersh/learn-lambda-calculus-in-10-minutes-with-ocaml-56ba
- https://github.com/reu/rinha-compiladores/blob/master/src/main.rs
- https://github.com/hnrbs/lambda-calculus
- https://github.com/BRonen/poggers-lang/tree/main
- https://adriann.github.io/rust_parser.html