v0.8.0

Requires Juvix 0.6.7

Juvix Package.juvix dependency declaration:

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

What's Changed

• Add the assert builtin by @lukaszcz in #124
• Merge the containers library by @lukaszcz in #125
• Update the coding style according to the guidelines by @lukaszcz in #126
• Allow @ in constructor declarations by @lukaszcz in #127
• Improve Set and Map implementation by @lukaszcz in #130
• Improve function argument names by @lukaszcz in #131
• Add functions to the Map module and reformat by @lukaszcz in #133
• Record updates new syntax by @lukaszcz in #134

Full Changelog: v0.7.0...v0.8.0