release 0.7.0

raehik · Oct 11, 2024 · 5e52d21 · 5e52d21
1 parent 5f6377b
commit 5e52d21
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-## 0.7.0 (unreleased)
+## 0.7.0 (2024-10-11)
 * add predicate simplifier at `Rerefined.Simplify`
   * old "normalizer" stuff removed
 

diff --git a/TODO.md b/TODO.md
@@ -12,6 +12,9 @@
   the predicate nicely and slots the value in!
   * hrmmmmm idk exactly how it'll look. maybe leave till later.
 
+## Simplifier
+Really need to write a bunch of tests. See Symparsec for type-spec example.
+
 ## Predicates
 * `All ps`, `And` a list of predicates? My errors work for it. Seems fun.
 

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: rerefined
-version: 0.6.0
+version: 0.7.0
 synopsis: Refinement types, again
 description: Please see README.md.
 extra-source-files:

diff --git a/rerefined.cabal b/rerefined.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rerefined
-version:        0.6.0
+version:        0.7.0
 synopsis:       Refinement types, again
 description:    Please see README.md.
 category:       Types, Data