minitt 0.1.3

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