Skip to content

Version 0.4.3
Compare
Choose a tag to compare
@lambdageek lambdageek released this 27 Apr 03:18
v0.4.3
bd9bac1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

What's Changed

  • New function instantiate function that substitutes a list of terms for a collection of bound variables in a toplevel Bind p t term.
    New function substBind operation that substitutes for the bound variable of a Bind (Name a) t term.
    This is a specialization of instantiate to the case where the pattern is a single Name a
  • Expose Rec constructor of the Rec type and the ctxLevel function from AlphaCtx
  • Drop CI testing with GHC 7.10, add CI testing with GHC 9.4
  • Fix compilation with transformers >= 0.6

Full Changelog: v0.4.2...v0.4.3

Assets 2
Loading