We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2f1ee7c commit d5f3d36Copy full SHA for d5f3d36
CHANGELOG.md
@@ -1,6 +1,6 @@
1
# Changelog for the [`ghc-typelits-extra`](http://hackage.haskell.org/package/ghc-typelits-extra) package
2
3
-# Unreleased **
+# 0.4.1 *November 10 2020*
4
* Reduce `n <=? Max (n + p) p` to `True`
5
6
# 0.4 *March 9 2020*
ghc-typelits-extra.cabal
@@ -1,5 +1,5 @@
name: ghc-typelits-extra
-version: 0.4
+version: 0.4.1
synopsis: Additional type-level operations on GHC.TypeLits.Nat
description:
Additional type-level operations on @GHC.TypeLits.Nat@:
0 commit comments