From bd9bac1242ecb62d8152efc0e36357f2e1563fc5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aleksey=20Kliger=20=28=CE=BBgeek=29?= Date: Wed, 26 Apr 2023 23:18:10 -0400 Subject: [PATCH] prepare release 0.4.3 (#57) --- Changelog.md | 2 ++ unbound-generics.cabal | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index 65e29a5..fb1286e 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,5 +1,7 @@ # NEXT +# 0.4.3 + * Add an `instantiate` function that substitutes a list of terms for a collection of bound variables in a toplevel `Bind p t` term. Thanks to Stephanie Weirich (sweirich). This adds a new `substBvs` function to the `Subst` class. * Add `substBind` operation that substitutes for the bound variable of a `Bind (Name a) t` term. diff --git a/unbound-generics.cabal b/unbound-generics.cabal index 88c56a0..f8e713a 100644 --- a/unbound-generics.cabal +++ b/unbound-generics.cabal @@ -1,6 +1,6 @@ cabal-version: >=1.10 name: unbound-generics -version: 0.4.2 +version: 0.4.3 synopsis: Support for programming with names and binders using GHC Generics description: Specify the binding structure of your data type with an expressive set of type combinators, and unbound-generics