From 487ea1c54c75e49ae56f1f3ced5aabfb1337ac1e Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Mon, 9 Mar 2020 14:38:35 +0100 Subject: [PATCH] Make v0.4 release --- CHANGELOG.md | 4 ++++ ghc-typelits-extra.cabal | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 79f76d2..f169ea1 100644 --- 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 index d0888cd..2b254df 100644 --- 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@: