v0.10.1

What's Changed

• Adapt to new scoping rules by @janmasrovira in #162

Full Changelog: v0.10.0...v0.10.1

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

v0.9.0

Requires Juvix 0.6.9

Juvix Package.juvix dependency declaration:

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

What's Changed

• Add new modules to index.juvix by @lukaszcz in #136
• Remove @? by @lukaszcz in #154

Full Changelog: v0.8.0...v0.9.0

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

v0.7.0

Requires Juvix 0.6.6

Juvix Package.juvix dependency declaration:

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

What's Changed

• Add Applicative trait by @janmasrovira in #115
• add Monad trait by @janmasrovira in #119

Full Changelog: v0.6.0...v0.7.0

v0.6.0

Requires Juvix 0.6.5

Juvix Package.juvix dependency declaration:

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

What's Changed

• Replace preceeding spaces with tabs in the makefile by @janmasrovira in #112
• Replace --only-errors by @janmasrovira in #113
• Add Functor trait by @janmasrovira in #114
• Add Foldable trait by @janmasrovira in #111
• Export for and rfor from Foldable by @paulcadman in #116
• Add FromNatural instances for Int and Field by @paulcadman in #117
• HTML build: remove --theme argument by @paulcadman in #120
• Add support for builtin Byte by @paulcadman in #118
• Update pragmas by @lukaszcz in #122

Full Changelog: v0.5.0...v0.6.0

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

v0.4.0

What's Changed

• Rename the Product type to Pair by @paulcadman in #102
• Rename ∘ to << and add >>, |> and <| functions by @paulcadman in #103
• Rename if to ite by @janmasrovira in #104

Full Changelog: v0.3.0...v0.4.0

v0.3.0

What's Changed

• Update juvix compile command for tests by @paulcadman in #95
• Cairo poseidon hash by @lukaszcz in #96
• Cairo Elliptic Curve operations by @lukaszcz in #97
• Use multiway if in the standard library by @lukaszcz in #98
• Pedersen hash to curve by @lukaszcz in #99

Full Changelog: v0.2.0...v0.3.0

v0.2.0

What's Changed

• Field type by @lukaszcz in #93

Full Changelog: v0.1.0...v0.2.0