lambda-types 0.1.3

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