diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Revision history for Sets
 
-## 0.1.0.0 -- YYYY-mm-dd
+## 0.1.0.0 -- 2022-07-12
 
 * First version. Released on an unsuspecting world.
+
+## 1.0.0.0 -- 2022-07-17
+
+* Data.WeakSet and Data.WeakMap are now valid alternatives to Data.Set and Data.Map.
+
+# 1.1.0.0 -- 2022-07-19
+
+* Correction of wrong function declaration of (|^|)
diff --git a/WeakSets.cabal b/WeakSets.cabal
--- a/WeakSets.cabal
+++ b/WeakSets.cabal
@@ -14,7 +14,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:            1.0.0.0
+version:            1.1.0.0
 
 -- A short (one-line) description of the package.
 synopsis:
diff --git a/src/Data/WeakSet.hs b/src/Data/WeakSet.hs
--- a/src/Data/WeakSet.hs
+++ b/src/Data/WeakSet.hs
@@ -501,7 +501,7 @@
 (|+|) = disjointUnion
 
 -- | Returns the cartesian product of a set with itself n times.
-(|^|) :: (Num a, Eq a) => Set a -> a -> Set [a]
+(|^|) :: (Eq a) => Set a -> Int -> Set [a]
 (|^|) _ 0 = Set [[]]
 (|^|) s n = (:) <$> s <*> (s |^| (n-1))
 
diff --git a/src/Math/PureSet.hs b/src/Math/PureSet.hs
--- a/src/Math/PureSet.hs
+++ b/src/Math/PureSet.hs
@@ -12,7 +12,7 @@
 
 It is a tree where the order of the branches does not matter.
 
-Functions with the same name as homogeneous set functions are suffixed with the letter 'P' for pure to avoid name collision.
+Functions with the same name as pure set functions are suffixed with the letter 'P' for pure to avoid name collision.
 -}
 
 module Math.PureSet 
@@ -106,7 +106,7 @@
     powerSetP :: PureSet -> PureSet
     powerSetP (PureSet xs) = PureSet $ PureSet <$> S.powerSet xs
     
-    -- | Prettiffy a pure set according to usual mathematical notation.
+    -- | Prettify a pure set according to usual mathematical notation.
     prettify :: PureSet -> String
     prettify (PureSet xs)
         | cardinal xs == 0 = "{}"