lambda-types 0.1.2

Puts the lambda calculus in Rust...'s type system.
Documentation 
1
2
3
4
5
6

{
  "git": {
    "sha1": "bd08991f80fc994eb6fdb25c407dc5dd78f686a3"
  },
  "path_in_vcs": ""
}