minitt 0.0.2

Work-In-Progress implementation in Rust for Mini-TT, a dependently-typed lambda calculus model
Documentation 
{
  "git": {
    "sha1": "d941c81c004c811da6d869eaf346d05afd9a99a0"
  }
}