Requires Juvix 0.6.6.
Juvix Package.juvix dependency declaration:
github "anoma" "juvix-anoma-stdlib" "v0.8.0"
What's Changed
- Release 0.8.0 by @paulcadman in #22
Full Changelog: v0.7.0...v0.8.0
Requires Juvix 0.6.6.
Juvix Package.juvix dependency declaration:
github "anoma" "juvix-anoma-stdlib" "v0.8.0"
Full Changelog: v0.7.0...v0.8.0