lambda-types 0.1.2

Puts the lambda calculus in Rust...'s type system.
Documentation
1
2
3
/target

/Cargo.lock

/.idea