v0.5.4
Implemented enhancements:
- Add MarkdownInfo entry in Module Concrete Decl and proper errors #2515 (jonaprieto)
- Fix check for module name for Orphan Juvix files and imports of Juvix Markdown files #2512 (jonaprieto)
- General inductive parameters #2506 (janmasrovira)
- Named arguments syntax with function definitions #2494 (lukaszcz)
- Update juvix init to generate Package.juvix instead of juvix.yaml #2483 (paulcadman)
- Interleave arity and typechecking #2481 (janmasrovira)
- Literal casting #2457 (lukaszcz)
Merged pull requests:
- Fix Bank Example #2514 (jonaprieto)
- Refactor markdown parsing #2513 (janmasrovira)
- Add PackageDescription.Basic module Package variant #2509 (paulcadman)
- Run test suite in parallel #2507 (paulcadman)
- test: Run juvix format on juvix packages rather than files #2505 (paulcadman)
- Fix
cloneinsubsHoles#2504 (lukaszcz) - Migrate all Juvix projects from juvix.yaml to Package.juvix in the repository #2503 (paulcadman)
- Update file walker to use Package.juvix to detect a Juvix package #2502 (paulcadman)
- Refresh bound variable ids when substituting in Internal #2501 (lukaszcz)
- Add -n/--non-interactive option to juvix init #2500 (paulcadman)
- Use Package.juvix in the global project #2499 (paulcadman)
- Normalise paths on ResolverCache set and lookup #2498 (paulcadman)
- Fix Empty Lines at the Beginning of a File with No module decl Prevent Parsing #2496 (jonaprieto)
- Fix remove unexpected whitespaces introduced by formatting #2489 (jonaprieto)
- Add support for Literate Juvix Markdown #2448 (jonaprieto)