Version 16.0.0 of the standard released 🎉


Some highlights are:

  • The precedence of === and with have been adjusted to be less suprising

    In particular, in many cases they require fewer parentheses

  • The encoding of Doubles now follows RFC7049bis

  • Unions can now mix terms and types

  • There are a few new additions to the Prelude

Full change log here:

I meant to post this earlier, but keep forgetting to announce releases on Discourse.