Make v0.4 release

clash-lang · Mar 9, 2020 · 487ea1c · 487ea1c
1 parent 9e7eb8a
commit 487ea1c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for the [`ghc-typelits-extra`](http://hackage.haskell.org/package/ghc-typelits-extra) package
 
+# 0.4 *March 9 2020*
+* `Max` short-circuits on zero, but is stuckness preserving. i.e. `Max (0-1) 0` reduces to `(0-1)`
+* Reduce inside arithmetic equations. e.g. `1 + a ~ Max 0 a + CLog 2 2`
+
 # 0.3.3 *February 6th 2020*
 * Add support for GHC 8.10.1-alpha2
 

diff --git a/ghc-typelits-extra.cabal b/ghc-typelits-extra.cabal
@@ -1,5 +1,5 @@
 name:                ghc-typelits-extra
-version:             0.3.3
+version:             0.4
 synopsis:            Additional type-level operations on GHC.TypeLits.Nat
 description:
   Additional type-level operations on @GHC.TypeLits.Nat@: