minitt 0.0.6

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