minitt 0.3.1

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