Skip to content

v0.0.3
Compare
Choose a tag to compare
@fizruk fizruk released this 20 Jun 01:59
· 94 commits to main since this release
v0.0.3
ec97b4f
This commit was signed with the committer’s verified signature.
fizruk Nikolai Kudasov
GPG key ID: A4CB545029471D8A
Learn about vigilant mode.

  • Add α-equivalence checks and α-normalization (see #12):

    • Control.Monad.Foil now offers more helpers to work with binder renaming and binder unification.
      These helpers can be used to implement (efficient) α-equivalence.
    • In Control.Monad.Free.Foil general implementation of α-equivalence and α-normalization is provided.

  • Add general conversion functions for free foil (see #14):

    • Control.Monad.Free.Foil now offers convertToAST and convertFromAST functions
      enabling easier implementation of conversions raw and scope-safe representations.

  • Add Template Haskell functions for free foil (see #14):

    • Control.Monad.Free.Foil.TH contains many useful functions to generate free foil from
      a raw representation (e.g. generated via BNFC), including generation of the signature,
      convenient pattern synonyms, ZipMatch instance, and conversion helpers.
Assets 2
Loading