The motivation behind this change is to fix records with type-valued
fields from being used as ...

Replace an 'a' with 'is' and add the word 'library' after the link to `network`. Also attempt to...

This fixes Dhall to exactly match the guidance given in
https://prime.haskell.org/wiki/Librarie...

Previously the standard left α-equivalence "as an exercise to the
reader". Now α-equivalence i...

This bolds the green highlighted syntax so that it's easier to visually
navigate on white backg...

The new `--omitNull` flag omits null record fields in order to more
closely match some JSON idioms

The `t2.nano` size was not sufficiently reliable to mirror the Prelude
so this upgrades to a `t...

This fixes α-normalization to correctly relabel a `let`-bound variable

The main new additions are the `package.dhall` files in each directory
that allow bulk import o...

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

Fixes #108

There are many symbolic simplifications that the semantics require such
as `+0 + x ⇥ x` and `if...

... as requested by @PierreR

Fixes #305

Now you can do:

```
⊢ :save x = 2
⊢ ./x
2
```

Fixes #20

This migrates `tests/Examples.hs` to use a language-independent test
file format s...

One of the tests had a remote import, which this changes to a relative
import so that the test ...

Fixes #299

The standard mandates that two terms that are α-equivalent and
β-equivalent shoul...

This fixes all of the build built-ins to match the standard semantics

The easiest way to ill...

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

The old semantics produced ...

Fixes #284

This simplifies the context and in each case the value being inserted is
safe to insert because...

This change ensures that the fields of a record or union are sorted
before comparing for equali...

This creates a single expression that users can import for convenience to obtain
a record with ...

Fixes #99

This change clarifies that string interpolation is exactly equivalent to
`Text` co...

Related to https://github.com/fpco/stackage/issues/3310

Fixes https://github.com/dhall-lang/dhall-haskell/issues/295

This takes advantage of `pkgs.haskell.lib.justStaticExecutables` to
build a smaller executable ...

This commit changes the guarding logic from:

List { guard : Config -> Bool, body : A }

t...

Fixes #94 and #95

The bottom of the grammar requires that all tokens end with
trailing white...

The main reason for this change is stylistic (`dhall` doesn't need to
preserve the header becau...

* Add explicit Prettyprinter dep to stack.yaml until LTS supports it

* Remove redundant depen...