lambda-cubed An interprter for the various kinds of lambda calculi written in OCaml. TODO Untyped Lambda Calculus Simply Typed Lambda Calculus System F Hindley-Milner Type Inference Type Operators Dependent Types
