minitt 0.1.3

Mini-TT, a dependently-typed lambda calculus, implementated in Rust
Documentation 
# Change Log


# 0.1.3


+ Simple parser

# 0.1.2


+ Some bug fixes

# 0.1.1


+ Support pretty-printer for AST, Normal AST

# 0.1.0


+ Support type-checking