Some highlights are:
-
The Prelude’s JSON type now supports storing unlimited precision integers
-
The
merge
keyword now works onOptional
values -
Hexadecimal literals (e.g. 0xFF) are now supported
-
Several fixes and improvements to the Prelude
Full change log here: https://github.com/dhall-lang/dhall-lang/releases/tag/v13.0.0