v0.3.4

What's Changed

• Fix large record field types blowing up search for SetterWf instance by @Nils-Lauermann in #47

New Contributors

• @Nils-Lauermann made their first contribution in #47

Full Changelog: v0.3.3...v0.3.4

v0.3.3

Fix a few compatibility warnings with newer versions of Coq (especially 8.17 and 8.18).

v0.3.1

Incorporate a few printing bug fixes since v0.3.0.

v0.3.0

This release incorporates a number of bug fixes and simplifications to the
library.

coq-record-update v0.2.0

This release switches the build system so that it supports opam and dune.

I also switched to a different setup for tests so they are better separated from the source code.

Initial release v0.1.0

Initial release with basic Setter typeclass defined by implementing Settable for the record type:

• set function and notation
• some support for dependent fields