minitt 0.2.4

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