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