v0.5.0

Requires Juvix 0.6.4

Juvix Package.juvix dependency declaration:

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

What's Changed

• Add Stdlib.Data.Result and find in Stdlib.Data.List by @paulcadman in #106
• Format using the new formatter version by @paulcadman in #108
• Add specialize pragma for find by @lukaszcz in #109
• Isabelle pragmas by @lukaszcz in #105

Full Changelog: v0.4.0...v0.5.0