This repo is the OCaml version of my previously journey with Haskell to understand more about programming languages in general and be a better OCamaller.
- Untyped Lambda Calculus
- Simply Typed Lambda Calculus λ→
- System F
- LambdaPi (Dependent Types)
This repo is the OCaml version of my previously journey with Haskell to understand more about programming languages in general and be a better OCamaller.