minitt 0.0.5

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