Changelog of @hackage/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