[]
= "minitt"
= "0.0.4"
= ["ice1000 <ice1000kotlin@foxmail.com>"]
= "2018"
= "Apache-2.0"
= "Mini-TT, a dependently-typed lambda calculus, implementated in Rust"
= "README.md"
= ["development-tools"]
[]
= { = "ice1000/minitt-rs", = "github" }
= { = "ice1000/minitt-rs", = "master" }
= { = "experimental" }