Some highlights are:
-
The precedence of
===
andwith
have been adjusted to be less suprisingIn particular, in many cases they require fewer parentheses
-
The encoding of
Double
s 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.