minitt 0.1.4

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


# 0.1.4


+ Enable parser by default
+ Add executable
+ Add examples
+ Fix bug in scope manipulation
+ Parse patterns

# 0.1.3


+ Simple parser
+ Some fixes in pretty-printer

# 0.1.2


+ Some bug fixes

# 0.1.1


+ Support pretty-printer for AST, Normal AST

# 0.1.0


+ Support type-checking