Version 8.0.0 of the standard released

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