Version 10.0.0 of the standard released


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 new Natural/subtract built-in
  • Removal of support for old-style union literals

Full change log here: