Some highlights are:
- You can now have mixed records of terms and types
- (Technically) Dependent types!
- Language support for tests using a new
assert
keyword - Efficient
Natural
operations powered by a newNatural/subtract
built-in - Removal of support for old-style union literals
Full change log here: