Release notes from juvix

v0.6.10

over 1 year ago

What's Changed Modify how the arguments are passed to the anoma node...

v0.6.9

over 1 year ago

What's Changed Add merged pull requests for 0.6.{7,8} to CHANGELOG by @paulcadman...

v0.6.8

over 1 year ago

What's Changed Add option to run Anoma tests in non-debug mode by...

v0.6.7

over 1 year ago

What's Changed Fix locations in Internal hole substitution (only for the case...

v0.6.6

almost 2 years ago

Full Changelog Implemented enhancements Improve output of juvix dev import-tree print #2976...

v0.6.5

almost 2 years ago

Full Changelog Implemented enhancements Add --statements flag to juvix dev latex export...

v0.6.4

about 2 years ago

Full Changelog Implemented enhancements Puns for named application #2890 (janmasrovira) juvix typecheck...

v0.6.3

about 2 years ago

Full Changelog Implemented enhancements Improve performance of formatting a project #2863 (janmasrovira)...

v0.6.2

about 2 years ago

v0.6.2 (2024-06-12) Full Changelog Implemented enhancements Rust runtime #2782 (lukaszcz) Optional braces...

v0.6.1

over 2 years ago

v0.6.0

over 2 years ago

v0.6.0 (2024-03-01) Full Changelog Implemented enhancements Translation from JuvixTree to Nockma #2606...

v0.3.2

over 3 years ago

v0.3.2 (2023-04-18) Full Changelog Implemented enhancements Qualified imports #2004 (janmasrovira) Pretty print...