minitt 0.1.2

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