minitt 0.2.2

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust
{
  "git": {
    "sha1": "20d0887132e66ae43fb45ffc8a80d7775ac08eb6"
  }
}