minitt 0.1.4

Mini-TT, a dependently-typed lambda calculus, implementated in Rust
Documentation 
{
  "git": {
    "sha1": "9a745f1328507276ed76b3f687b02971301fbf66"
  }
}