0.4.2

This release just bumps the version number of some dependencies in order to address a security issue in a dependency (atty).
Furthermore, the MSRV (minimum supported Rust version) is now checked, and pre-built binaries for kocheck are provided.

0.4.1

This release adds only minor changes to kocheck, including printing the version number and nicer handling of the --omit option, which will now propose valid values:

$ kocheck --omit chek bla.dk
error: "chek" isn't a valid value for '--omit <STAGE>'
	[possible values: share, infer, check]

	Did you mean "check"?

0.4.0

This release adds a new lazy parser that reduces latency and memory consumption.
Furthermore, this version distinguishes short and long terms in the kernel, which allow us to use a single kernel instead of two before.
The mimalloc memory allocator has been included for great speed gains. It can be disabled by using --no-default-features when building kocheck.
Last, but not least, starting from this release, builds should be more reproducible, because the version numbers of all dependencies are explicit, by means of Cargo.lock.

Full Changelog: v0.3.0...v0.4.0

0.3.0

This release changes how term combinators are handled internally. In particular, the kernel now uses a separate type to represent applications, abstractions, and products. This reduces the number of pointers that have to be dereferenced, increasing performance.

Full Changelog: v0.2.0...v0.3.0

0.2.0

This release introduces a new parser pased on logos in favour of the previous Nom parser.
Furthermore, it verifies the well-typedness of certain rewrite rules.
Internally, scoping and sharing were split into two different stages.

Full Changelog: v0.1.0...v0.2.0