Lambda calculus challange

Modeling

Define the types to model a term in LC

• Var -> x
• App(Application) -> f x
• Lam(Lambda) -> λx.f x

Pretty-printing

Create a function to display a LC

Parsing

Implement a parser to LC

Ref

• 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