lambda-types 0.2.1

Puts the lambda calculus in Rust...'s type system.
Documentation