Pre-release
Pre-release

@magnus-madsen magnus-madsen released this Jun 25, 2018 · 55 commits to master since this release

Assets 3

Version 0.3:

  • Added completely new backend with full tail call support (thanks Ramin Zarifi)
  • Added support for arrays and vectors.
  • Added pub keyword.
  • Added expression holes.
  • Added full support for curried definitions.
  • Vastly improved repl. (--interactive).
Pre-release
Pre-release

@magnus-madsen magnus-madsen released this Oct 11, 2017 · 466 commits to master since this release

Assets 3

Version 0.2:

  • Added stratified negation (thanks Jason Mittertreiner).
  • Pattern matching now compiled to labels and jumps (~1.5x speedup).
  • Typechecking is now performed in parallel.
  • Parsing is now performed in parallel.
  • Added operations on character and strings.
  • Pattern match exhaustiveness enforced.
  • Added interop from Flix to Java.
  • Added simple intra-procedural optimiser.
  • Constructors (tags) may now be used as functions.
  • Added references (ref and deref).
  • Upgrade to Scala 2.12.
  • Many other small improvements.
Pre-release
Pre-release

@magnus-madsen magnus-madsen released this Apr 18, 2017 · 929 commits to master since this release

Assets 3

Version v0.1:

  • Added standard library.
  • Added support for pattern matching in rules.
  • Added if guards.
  • Improved error messages.
  • Improved the performance of the solver.
  • Fixed numerous bugs.
Pre-release

@magnus-madsen magnus-madsen released this Oct 25, 2016 · 1637 commits to master since this release

Assets 3

2016-10-25:

- Added interpreter tutorial.
- Added polymorphic types.
- Added unification-based type system.
- Added quick checker.
- Added tail recursion.
Pre-release

@magnus-madsen magnus-madsen released this Jul 15, 2016 · 2062 commits to master since this release

Assets 3

snapshot-2016-07-14:

- Added delta debugging (see --delta and --tutorial delta-debugging).
- Added parallel rule evaluation. (Use --threads to control the number of concurrent threads).
- Added tutorial. (see --tutorial introduction).
- Added --timeout parameter.
- Improved command line parsing. Added a --help flag to display available options.
Pre-release

@magnus-madsen magnus-madsen released this Jun 9, 2016 · 2220 commits to master since this release

Assets 3

Initial open source pre-release.

Nov 20, 2015
source code at the moment of PLDI submission