Skip to content

Great coverage
Compare
Choose a tag to compare
@lukstafi lukstafi released this 18 Feb 01:57
· 24 commits to master since this release
v2.0
5996a1e

This release greatly improves coverage / completeness, i.e. the intended types are inferred for more programs. All algorithms got significant improvements, and even the type system definition needed an update.

Changes:

  • Syntax sugar for if / eif - then - else and function definitions.
  • Constant coefficients syntax for expressions.
  • Built-in syntax for run-time failures.
  • Many command-line options to control inference.
  • Multiple bug fixes and algorithms improvements.
  • The flagship AVL trees example now without assertions.
  • Many new tests in the examples directory.

Attached is an executable for Linux 3.11 x86_64 (aka. amd64), and a manual, which can also be found in the doc directory.

Assets 4
Loading