minitt 0.3.3

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