Skip to content

Commit

Permalink
Set release date
Browse files Browse the repository at this point in the history
  • Loading branch information
christiaanb committed Jan 20, 2016
1 parent 8616f8f commit c6a90fc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package

## 0.4
## 0.4 *January 19th 2016*
* Stop using 'provenance' hack to create conditional evidence (GHC 8.0+ only)
* Find more unifications:
* `F x + 2 - 1 - 1 ~ F x` ==> [F x := F x], where `F` can be any type function with result `Nat`.
Expand Down

0 comments on commit c6a90fc

Please sign in to comment.