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

v0.1.0

What's Changed

• Update tests to use quickcheck v0.9.0 by @paulcadman in #90
• Reuse types and definitions from the builtin package-base module by @paulcadman in #91

Full Changelog: v0.0.1...v0.1.0

v0.0.1

What's Changed

• Add CI to render HTML output by @jonaprieto in #1
• Add CI check: typecheck code. by @jonaprieto in #2
• Add Stdlib prefix to all modules by @paulcadman in #4
• Update stdlib to support minijuvix examples by @paulcadman in #5
• Update file extension to use .juvix by @jonaprieto in #6
• [ Makefile ] Use typecheck command instead of microjuvix by @jonaprieto in #9
• Remove quickSort by @lukaszcz in #8
• Remove Int type by @paulcadman in #10
• Rplace ≔ by := by @janmasrovira in #15
• Fix ci by @janmasrovira in #17
• replace all remaining ≔ by := by @janmasrovira in #16
• Rename builtin natural to nat and add builtin bool and if by @paulcadman in #18
• CI: Install LLVM before build by @paulcadman in #21
• Pin CI OS to ubuntu-20.04 by @paulcadman in #23
• Ignore .history by @jonaprieto in #22
• Make String a builtin and add print* variants with terminating newlines by @paulcadman in #24
• Add package name and version by @janmasrovira in #19
• Remove unicode cons by @lukaszcz in #27
• Use new syntax for inductive data type decl. by @jonaprieto in #25
• Case function by @lukaszcz in #28
• Nat builtins by @lukaszcz in #26
• Closes #12 by @jonaprieto in #29
• Fix Nat builtins by @lukaszcz in #30
• Add codespaces by @jonaprieto in #31
• Fix make html to use new juvix html options by @paulcadman in #32
• [codespaces] Run typechecking on save only by @jonaprieto in #33
• Remove some editor settings for the codespace by @jonaprieto in #34
• Implement better GCD algorithm by @lukaszcz in #36
• Lazy || and && by @lukaszcz in #37
• Use Juvix formatter by @jonaprieto in #39
• Add trace and fail functions by @jonaprieto in #38
• Remove case by @lukaszcz in #41
• String builtins by @lukaszcz in #40
• Fix lazy || used with no arguments by @lukaszcz in #43
• Remove ifOrd by @lukaszcz in #44
• Fix totality of 'head' and 'tail' by @lukaszcz in #46
• Add builtin Integers by @paulcadman in #47
• The 'seq' builtin by @lukaszcz in #48
• Run juvix format by @janmasrovira in #49
• Add Judoc comments for most of the functions by @janmasrovira in #50
• Add Quickcheck testing by @paulcadman in #51
• Add iterate to Stdlib.Function by @janmasrovira in #52
• Add functions to Stdlib.Data.List by @paulcadman in #53
• Add some useful functions by @janmasrovira in #55
• Add 'traits', Stdlib.Trait.{Ord, Eq, Show} by @paulcadman in #54
• fix unlines and add concatStr by @janmasrovira in #57
• Expose functions associated to Traits by @jonaprieto in #58
• Cache Juvix builds in CI workflow by @paulcadman in #61
• Add the Unit type by @janmasrovira in #56
• Fix and test for splitAt function by @paulcadman in #62
• Replace the implementation of transpose by @paulcadman in #63
• 'syntax' keyword by @lukaszcz in #64
• Format codebase by @jonaprieto in #65
• Refactor IO by @jonaprieto in #66
• Update standard library for better readability, efficiency and iterator use by @lukaszcz in #67
• Update main branch to commit that anoma/juvix main points to by @paulcadman in #71
• Fix tests failing due to incompatible quickcheck dependency by @paulcadman in #73
• Enable builtin list syntax by @lukaszcz in #75
• New operator syntax by @lukaszcz in #74
• Update data types to use ADT and record syntax by @paulcadman in #76
• Remove old function syntax by @lukaszcz in #77
• Update traits by @lukaszcz in #80
• New Iterator/Fixity record syntax by @janmasrovira in #81
• Update list functions to use traits by @lukaszcz in #82
• Add none fixity by @lukaszcz in #84
• Partial trait by @lukaszcz in #85
• Standard library traits by @lukaszcz in #86
• Literal casts by @lukaszcz in #87
• Migrate juvix.yaml to Package.juvix by @paulcadman in #89

New Contributors

• @jonaprieto made their first contribution in #1
• @paulcadman made their first contribution in #4
• @lukaszcz made their first contribution in #8
• @janmasrovira made their first contribution in #15

Full Changelog: https://github.com/anoma/juvix-stdlib/commits/v0.0.1