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: https://github.com/dhall-lang/dhall-lang/releases/tag/v16.0.0

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

2 Likes