diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0f1bbe5..4882567 100644
--- 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
index a4a1715..6db1a6c 100644
--- 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
index 82594ee..926bf4b 100644
--- 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
index 6dd0568..61e52be 100644
--- 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