minitt 0.1.7

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