CHANGES/README entry for v0.0.4

JLimperg · Feb 23, 2019 · dfee7a9 · dfee7a9
1 parent c773e53
commit dfee7a9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,8 +1,13 @@
 # Changelog for wellfounded-coind
 
+## 0.0.4
+
+- Update examples and library to work with Agda 2.5.4/agda-stdlib 0.17.
+  This release is no longer compatible with older stdlib versions.
+
 ## 0.0.3
 
-- Update example to work with Agda 2.5.4/agda-stdlib 0.16. As with v0.0.2,
+- Update examples to work with Agda 2.5.4/agda-stdlib 0.16. As with v0.0.2,
   there were no changes to the library itself.
 
 ## 0.0.2

diff --git a/README.md b/README.md
@@ -10,6 +10,10 @@ relatively easy to implement using this library.
 
 ## Tested build configurations
 
+### Version 0.0.4
+
+- Agda 2.5.4.2; agda-stdlib 0.17
+
 ### Version 0.0.3
 
 - Agda 2.5.3; agda-stdlib 0.14 (excluding examples!)