minitt 0.1.6

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