v0.6.2

Technical change: upgrade to Idris 0.8.0

v0.6.0

• CHANGE:

  • exit error code has changed:
    • we don't count error after 128
    • error code semantic is more precise and documented
    • error text when calling replica is sent to stderr

• INTERNAL:

  • pre-commit hooks

v0.6.1

Just a version bump of nix and dhall.

v0.5.2

Explicit version management.

v0.5.1

Two major changes internally that doesn't impact the API:

• Upgrade to Idris2 v0.6.0
• Full nix support (nix is used in CI, the nix flake provides a nix develop and a nix check alternative)

v0.5

The main addition to this release is suites, that helps you to organise your tests.

Other additions:

• track tests duration
• spaces in tests names

v0.4.1

Upgrade to Idris2 v0.5.1

v0.4.0

See CHANGELOG to see what's new.

v0.3.1

Fixdoc (#49)

* fix set doc globalDir -> goldenDir

* typo

* prepare 0.3.1

v0.3

[ documentation ] gitignore and Makefile (#44)

* Add test file to json config

* Documentation on how to start a project