minitt 0.2.6

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