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
Define the types to model a term in LC
Create a function to display a LC
Implement a parser to LC