minitt 0.1.0

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