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
Contributors
lukaszcz and paulcadman