minitt 0.1.7

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


# 0.1.7


+ Use `structopt` for command line parsing
+ Initial REPL support
+ Discover that mutual recursion is not working correctly

# 0.1.6


+ Discover and provide a temporary workaround for a scoping issue of sum type
  expressions, maybe fix later
+ Fix badges in `Cargo.toml`
+ Support quiet in cli
+ Support `*` syntactic sugar

# 0.1.5


+ Syntactic sugars
+ Rename `fun` into `split`, let `split` and `sum` use `{ }`
+ Use better variable name in codes, fix some mistakes in comments
+ Fix a very stupid bug. It's too stupid to be written in the changelog.

# 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
+ Type inference for pairs

# 0.1.1


+ Support pretty-printer for AST, Normal AST

# 0.1.0


+ Support type-checking

# 0.0.1


+ Create package on https://crates.io