Requires Juvix 0.6.9.
Juvix Package.juvix dependency declaration:
github "anoma" "juvix-test" "v0.18.0"
What's Changed
- Update stdlib to v0.9.0 by @paulcadman in #17
Full Changelog: v0.17.0...v0.18.0
Requires Juvix 0.6.9.
Juvix Package.juvix dependency declaration:
github "anoma" "juvix-test" "v0.18.0"
Full Changelog: v0.17.0...v0.18.0