minitt 0.1.8

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