This modifies the example headers to replace `env:GITHUB_TOKEN` with
`env:GITHUB_TOKEN as Text`...

`Natural/fold` takes a `Natural` value, not an `Integer` value, as its first argument.

* Fix parsing error

When I recently left-factored the grammar I introduced a parsing error
w...

Fixes #125

Before this change, the parser for union literals required the selected
alternati...

Fixes #122

This explains how you can use unions to store alternatives with 0 values
or more ...

* Left factor several parsers

This eliminates or narrows the scope of a large number of `try`...

Fixes #126

This means that:

```haskell
''
foo
bar
''
```

... will now be treat...

Only empty lists need annotation in newer versions of dhall.

This consolidates `noted` calls wherever possible, mainly to make it
easier to left-factor the ...

This left-factors the parser for union literals to remove an unnecessary
`try`. This in turn i...

Fixes #117

I broke comment parsing in 52d097eba3ffb820ce7e86d0fe2655437ef0915c due to
accid...

This updates the Prelude to include the newly added `List/concatMap` introduced
in 2f6a32d74e00...

This change signals that we don't intend to build against versions of
`ghc` earlier than `ghc-8...

The `doubleSingleQuoteLiteral` parser doesn't need `token` to parse
trailing whitespace because...

The implementation of `token` for `Parser` is identical to the one for
`Text.Trifecta.Parser`, ...

This removes the need for `R2`

The main motivation for this change is to take advantage of new features in
GHC 8. Dropping su...

Maps unnamed data fields to the positional record keys. For example:

```haskell
data Foo = F...

Fixes #104

This slightly modifies the documentation of `R2` to further clarify its
relationship to 2-tuples

Add `Interpret`/`Inject` instances for `[]`

Uses R2 intermediate type to represent tuples in Dhall.

Note: This is a breaking change because this changes the type of `loadWith`

Fixes #96

The following Dhall expression would fail with a parsing error:

```haskell
"foo'bar"...

It is convenient to check equality of Expr Src X sometimes.

This replaces all uses of `NeatInterpolation` with either multi-line
strings or `unlines`. This...

This reverts commit 8c340c12ddfd78e9dbfbd16013c00799a8f19895.

The reason for reverting this cha...

Adds trivial comments on extend, extract functions.

Fixes https://github.com/Gabriel439/Haske...

Added `normalizeWith` function to complement `typeWith`.
Dhall is so very attractive base for s...

This allows loading dhall 'modules' using a custom typing
context. See #83

Added a function that allows doing `input` from a closed
Dhall `Expr` instead of text. This is ...

This fixes build failures in Dhall package archives downloaded from
Hackage

This fixes a test failure for builds from Hackage due to the module not
being included in the pa...

This rearranges each detailed error message so that the summary of relevant
Dhall expressions g...

This adds several new list-like utilities, such as `any`/`null`/`length`

This uses Nix's naming convention for consistency

Users can now supply additional headers for URL imports using the new `using`
keyword, like thi...

Before this change, if you saved the following files:

```bash
$ echo "~/bar" > /tmp/foo
$ e...

Interspersing a separator in between string elements is sufficiently
tricky that there should b...

You can now omit the type annotation on `merge`s so long as the union
being merged has at least...

trifecta-1.7 is the first version of trifecta
that builds with GHC 8.2 and Cabal 2.0

Nix actually uses two single quotes to escape `${` instead of one single quote

This changes the generated code for `(∧)` to prefer the right attribute
if both arguments share ...

You can now interpolate any expression of type `Text` into a string literal,
like this:

```h...

I've uploaded the latest Prelude to IPFS and updated the tutorial to reflect
the changes (mostl...

This reduces the number of situations where users have to end a path
with a space

This adds new builtins to the Prelude and also adds corresponding tests

This adds tests that match the examples in the Prelude documentation and
also fixes a couple of...

* Implement Integer/show

Relates to #49

* Implement Double/show

Relates to #49

* Implement Natural/show

* Rename exprFXX variables to reflect the meaning

The previous tests for `build . fold` fusion for `Optional` values would
succeed even without f...

* Move test utils into separate module and use custom assertions

* Implement Natural/toIntege...

This change updates the test to test Dhall source code so that we're
exercising the system from...

You can now escape an field or variable name using backticks, like this:

```haskell
let ...

- Defines a new primitive `OptionalFold`
- Implements normalization:
- inlining of Optional/...

Part of #31, requested by @scott-fleischman

You can now use `-` in identifier names for all but...

Useful to see which version of `dhall` you are currently using.

The original reason for permitting `(` and `)` in paths was due to
Dhall's origins as a fork of ...