I discovered this issue in the grammar when updating the Haskell
implementation to match the st...

Related to https://github.com/dhall-lang/dhall-haskell/issues/391

The easiest way to describe...

Fixes #391

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/156

This initial `.gitattributes` configuration ensures that the `\r\n` newlines
are correctly pres...

In tests on Dhall configs we use at work, I saw speedups between 33–90% on
extremely complicate...

Hydra doesn't update a pull request if the derivation hasn't changed
since the last revision (i...

Where we keep track of all the ways it's distributed

This is one step in a series of commits to update the Haskell
implementation to match the impor...

Relevant to #362.

Previously, if an import contained additional imports, it wouldn’t get
cac...

Not sure if this is a change you’re interested in. IMO, it’s nice for stack
users even if they ...

Dhall used to support importing a directory, which would default to
importing a file named `@` ...

Fixes #27

This adds support for converting Dhall lists of the form:

```haskell
List { map...

Fixes #383

Dhall has a standard way to report where hash mismatch failure occur but
I forgot...

This switches to using the lower-level `optparse-applicative` for
command-line option parsing. ...

This is the latest version of the Prelude before the change to switch
the grammar of `Natural` ...

This provides some more structured guidance on how to seek help and make changes
to the language

Hydra won't post a build status if the derivation never changed since
the last revision, so thi...

See: https://github.com/fpco/stackage/issues/3620

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/141

Now `Natural`s no lo...

This entails splitting cabal-to-dhall/Main.hs into a thin driver, and
moving the actual meat of...

This initial commit transfers the Prelude from
https://github.com/dhall-lang/dhall-haskell as of...

This updates the data types to match the terminology used in the
standard. Specifically, "path...

Include a test along with it, which I've manually verified to be
correct while the automated te...

Along with version, this is one of the fields that it just doesn't
make sense to do without.

This is consistent with the filename, and how it's used in the
examples.

Note that this is a...

Annoyingly, Guarded is higher-kinded and in Dhall 1.13 cannot be part
of a record.

Managed to miss this rather important one in #40. Oops.

Hydra's pull request builder support fails on Nix 2.0 when restricted
evaluation is on

... as discussed in https://github.com/dhall-lang/dhall-lang/pull/142

This exports everything from dhall/types/*.dhall that's not obviously
internal, for user conven...

Fixes #138

This changes the grammar for `Natural` numbers to no longer require a
leading `+`...

This fixes the command-line programs to not print `ExitSuccess` when provided
with the `--help`...

This pins `nixpkgs` to a recent revision from the `release-18.03`

As standardized in https://github.com/dhall-lang/dhall-lang/pull/132

The existing grammar forbids interpolating expressions with preceding
whitespace, which this ch...

This standardizes a subset of Dhall's full import semantics.
Specifically, the parts of the imp...

Fixes #364

This was a typo from long ago.
We construct `UnionLit`s without tuples.
The documentation refl...

The `GeneralizedNewtypeDeriving` extension was not being used at all

The `BangPatterns` exten...

This adds new `dhall version`, `dhall resolve`, `dhall type`, and
`dhall normalize` subcommands...

There are two motivations for this change:

* To slim down `dhall`'s dependency footprint
* T...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/126

This adds an additional newline before and after each output line in the
REPL so that it's easi...

Fixes #116

This adds a new `record.{ field₀, field₁, field₂ }` syntax for
projecting a subse...

Related to #346

This fixes the `GenericInject` instance for a sum type with two
constructors...

This fixes both the parsing and rendering of semantic hashes, which were
failing due to missing...

This fixes the `Buildable` instance for `Src` to use
`Text.Megaparsec.sourcePosPretty` instead ...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/117

Fixes #92

This is the type-level analog of `∧`, which allows you to do:

```
{ foo : Text ...

Fixes #207

This expands Dhall's error messages to include concise "type diffs"
whenever an a...

The typing judgments for record literals were previously defined in terms of
the typing judgmen...

The long-term motivation for this change is so that we can eventually use a
separate `attoparse...

This allows parsers generated from the grammar to correctly handle
reserved labels without any ...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/120