From 55bac2eb90c13d3965e712c660d936c273cee895 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Thu, 4 Feb 2016 12:27:32 +0100 Subject: [PATCH] Set release date --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 147e043..3edfc50 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package -## 0.4.1 +## 0.4.1 *February 4th 2016* * Find more unifications: * `F x y k z ~ F x y (k-1+1) z` ==> [k := k], where `F` can be any type function