Cut 0.7.1 release

clash-lang · Feb 6, 2020 · 2ca5590 · 2ca5590
1 parent 39462cb
commit 2ca5590
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,7 +1,10 @@
 # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package
 
-## 0.7.1
+## 0.7.1 *February 6th 2020*
 * Add support for GHC 8.10.1-alpha2
+* Fixes [#23](https://github.com/clash-lang/ghc-typelits-natnormalise/issues/23): Can't figure out `+` commutes in some contexts on GHC 8.6.3
+* Fixes [#28](https://github.com/clash-lang/ghc-typelits-natnormalise/issues/28): Using the solver seems to break GHC
+* Fixes [#34](https://github.com/clash-lang/ghc-typelits-natnormalise/issues/34): inequality solver mishandles subtraction
 
 ## 0.7 *August 26th 2019*
 * Require KnownNat constraints when solving with constants