# 0.2.0.0
## Main updates
- New top-level module for each lambda calculus is added.
It make easier to use one specific lambda calculus under a qualified name.
- Quasiquoter now supports splicing-in.
- Change the type of elaborator and type checker for composability.
Currently they are less type-safe. However, monad to make them type-safe will be added in the future.
## Breaking changes
- Move lifters and substitutions into dedicated modules.
- Rename pretty printers.
- Rename elaborators.
- Rename quasiquoter.
- Remove elaborated quasiquoter.
- Change the type of elaborator and type checker.
# 0.1.0.0
The first release including support for following 4 lambda calculi.
- Simply Typed Lambda Calculus
- System F
- System F omega underbar
- System F omega