Skip to content

September 2018 Release

Compare
Choose a tag to compare
@skaller skaller released this 12 Sep 11:57
· 696 commits to master since this release

Major release, including many new features, bug fixes, and refactoring.

Highlights:

  • the start of a useful kinding system.
  • Uniqueness types.
  • Subtyping.