Changelog for wellfounded-coind

0.0.6

Update examples to work with Agda 2.6.0.1/agda-stdlib 1.1. No changes to the library. This version should also be compatible with Agda 2.6.0 and agda-stdlib 1.0.

0.0.5

Update examples and library to work with Agda 2.6.0/agda-stdlib 1.0.

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 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

Update examples to work with Agda 2.5.3/agda-stdlib 0.14. Version 0.0.1 of the library (excluding the examples) was already compatible with both Agda 2.5.3 and agda-stdlib 0.14, so this release contains no changes to the library itself.

0.0.1

Initial release.