minitt 0.1.9

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