v0.10.0

Requires juvix 0.6.9

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-stdlib" "v0.10.0"

What's Changed

• Refactorings and function removals by @lukaszcz in #160
• Add (poly and mono) traversable implementation, along with basic instances by @AHartNtkn in #159
• Add todo axiom by @janmasrovira in #158
• CI: set bundled stdlib to the PR branch commit by @lukaszcz in #161

New Contributors

• @AHartNtkn made their first contribution in #159

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