minitt 0.3.4

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