diff options
| -rw-r--r-- | CHANGELOG.md | 4 | ||||
| -rw-r--r-- | dependent-enummap.cabal | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 38b270b..fabc76a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,3 +5,7 @@ This package intends to follow the [Package Versioning Policy (PVP)](https://pvp ## 0.1.0.0 May 2025 - Initial release. + +## 0.2.0.0 January 2026 + +- Simpler but more restrictive Enum1 class definition (one can always set `type Enum1Info f = f`, however, perhaps with a performance cost compared to the old definition). diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal index 8a2d275..585bf97 100644 --- a/dependent-enummap.cabal +++ b/dependent-enummap.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: dependent-enummap -version: 0.1.0.0 +version: 0.2.0.0 synopsis: A generalisation of EnumMap to dependent types description: A generalisation of EnumMap to dependent key and value types. The key type @@ -9,7 +9,7 @@ description: operations in coercions accompanied by some runtime type-consistency assertions. license: BSD-3-Clause -copyright: (c) 2025 Tom Smeding, Mikolaj Konarski +copyright: (c) 2025-2026 Tom Smeding, Mikolaj Konarski author: Tom Smeding, Mikolaj Konarski maintainer: Tom Smeding <xhackage@tomsmeding.com> category: Data, Dependent Types |