Releases · anoma/juvix-stdlib

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