Changelog for lambda-cube-0.2.0.0
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