Some highlights are:
-
Improved support for dedenting multiline string literals
-
Projecting subsets of records by the expected type
e.g.
someRecord.(ExpectedType)
-
Support for inline custom headers
e.g.
https://example.com/x using [ { header = "Foo", value = "Bar" } ]
Full change log here: https://github.com/dhall-lang/dhall-lang/releases/tag/v8.0.0