minitt 0.2.8

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