minitt 0.2.0

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust
Documentation 
{
  "git": {
    "sha1": "a6cf63bd0112536aee07e3bbd24dfaa85562deaf"
  }
}