v0.16.0

Requires Juvix 0.6.7.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-quickcheck" "v0.16.0"

What's Changed

• Update to new record creation/update scoping rules by @lukaszcz in #18
• Update to stdlib v0.8.0 by @paulcadman in #19

Full Changelog: v0.15.0...v0.16.0

v0.15.0

Requires Juvix 0.6.6.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-quickcheck" "v0.15.0"

What's Changed

• Update to stdlib 0.7.0 by @paulcadman in #17

Full Changelog: v0.14.0...v0.15.0

v0.14.0

Requires Juvix 0.6.5.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-quickcheck" "v0.14.0"

What's Changed

• Update for Juvix 0.6.5 by @paulcadman in #16

Full Changelog: v0.13.0...v0.14.0

v0.13.0

Requires Juvix 0.6.4.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-quickcheck" "v0.13.0"

What's Changed

• Release 0.13.0 by @paulcadman in #15

Full Changelog: v0.12.0...v0.13.0

v0.12.0

What's Changed

• Update for compatibility with Juvix 0.6.3 by @paulcadman in #14

Full Changelog: v0.11.0...v0.12.0

v0.11.0

What's Changed

• Update for Juvix 0.6.2 by @paulcadman in #13

Full Changelog: v0.10.0...v0.11.0

v0.10.0

What's Changed

• Update for Juvix v0.6.0 by @paulcadman in #11

Full Changelog: v0.9.0...v0.10.0

v0.9.0

Update for Juvix 0.5.4

v0.8.0

Updates for Juvix 0.5.2

v0.7.1

This release contains: #8