Update tests to use quickcheck v0.9.0

anoma / juvix-stdlib

The Juvix standard library

https://anoma.github.io/juvix-stdlib/

10 stars 1 forks source link

Closed paulcadman closed 10 months ago

paulcadman commented 10 months ago

This PR updates tests to use juvix-quickcheck v0.9.0 which is now compatible with Juvix 0.5.4