v0.16.0

Requires Juvix 0.6.6.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-test" "v0.16.0"

What's Changed

• Update to stdlib v0.8.0 by @paulcadman in #15

Full Changelog: v0.15.0...v0.16.0

v0.15.0

Requires Juvix 0.6.6.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-test" "v0.15.0"

What's Changed

• Update to stdlib v0.7.0 by @paulcadman in #13

Full Changelog: v0.14.0...v0.15.0

v0.13.0

Requires Juvix 0.6.5.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-test" "v0.13.0"

What's Changed

• Update to the latest juvix-stdlib by @paulcadman in #9

Full Changelog: v0.12.0...v0.13.0

v0.12.0

Requires Juvix 0.6.4.

Juvix Package.juvix dependency declaration:

github "anoma" "juvix-test" "v0.12.0"

What's Changed

• Update to latest stdlib and format by @paulcadman in #8

Full Changelog: v0.11.0...v0.12.0

v0.11.0

What's Changed

• Update to new stdlib by @paulcadman in #7

Full Changelog: v0.10.0...v0.11.0

v0.10.0

What's Changed

• Update juvix compile commands by @paulcadman in #5
• Update for Juvix 0.6.2 by @paulcadman in #6

Full Changelog: v0.9.0...v0.10.0

v0.9.0

What's Changed

• Update for compatibility with Juvix 0.6.0 by @paulcadman in #4

Full Changelog: v0.8.0...v0.9.0

v0.8.0

This release improves compilation performance.

Requires Juvix 0.5.5.

v0.7.0

Update for Juvix 0.5.4

v0.6.1

Update for Juvix 0.6.1