minitt 0.1.1

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