Fixes https://github.com/dhall-lang/dhall-lang/issues/285

This adds required whitespace after...

Fixes #291

These changes reflect that functions must be separated from their
argument by non...

The relative import to the `Prelude` was failing to resolve, which this
change fixes

I also ...

Fixes https://github.com/dhall-lang/dhall-lang/issues/250

This uses a variation on CCω with t...

Add a set of agnostic tests for the parser. Since the AST is not
standard, the closest thing we...

In https://github.com/dhall-lang/dhall-lang/pull/266 I forgot to specify how to
encode `let` ex...

* Port normalization, import and typecheck tests from the Haskell implementation
* Add a small ...

Fixes #260

In other words, this is now legal:

```haskell
let x = 1
let y = 2
in x + y
...

Fixes #258

This clarifies the license used for both the Prelude and the standard

Now it points to the `./Prelude` subdirectory of `dhall-lang` instead of
the `Prelude` reposito...

The main changes are:

* Remove IPFS deployment which has been obsoleted in favor of GitHub

...

Part 1 explained at #244

Proposal to overload `.` syntax to allow us to get the constructor ...

... as suggested here:

https://github.com/dhall-lang/dhall-lang/issues/240#issuecomment-42757...

In #238 we intended to add support for records of type constructors by adding a new
`Sort` cons...

Fixes https://github.com/dhall-lang/dhall-lang/issues/242

The main changes are:

* There ...

Fixes https://github.com/dhall-lang/dhall-lang/issues/236

This uses the new `https` link and ...

See: https://github.com/dhall-lang/dhall-haskell/issues/568#issuecomment-421777944

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

This change ensures that th...

Now that `dhall-clj` is publicly an actively supported implementation @f-f should
get the abili...

... as discussed in https://github.com/dhall-lang/dhall-lang/issues/113#issuecomment-404814540
...

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

Previously the standard required...

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

This change requires at least on...

See change to comment in source code for rationale. This avoids a copy, but is also more robust....

Fixes #211

This changes `missing` to be parsed as a type of import instead of an
identifier ...

Fixes #410

This prevents the user from doing:

```
⊢ { foo = 1 } // { bar = Natural }

{...

Fixes #129

This specifies both how to verify and how to cache imports protected by
semantic ...

A lot of people interested in Dhall want to use it to replace YAML. Although
YAML is a superse...

Fixes #189

This moves the case study to the Dhall wiki and replaces it with a more concise
c...

Fixes #158

This specifies a standard binary encoding for Dhall expressions based on
CBOR, wh...

Updates the examples in this section to the Natural/Integer syntax switch

We require whitespace when parsing the `NaturalPlus` operator,
so it's not ambiguous with the `...

Fixes #201

I'll begin by explaining how to α-normalize the case for λ-expressions, since
tha...

We add:
- a `VERSIONING.md` file, that documents what we consider a release,
how and when a...

Some newer Nix derivations set the `system` to "builtin", which requires
this change to Hydra t...

Once nice feature of switching from IPFS to GitHub is that we can have
`prelude.dhall-lang.org`...

Fixes #178

This ensures that people can browse the Prelude when visiting
`prelude.dhall-lang...

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

This changes the Hydra configura...

This updates the `README` and updates `prelude.dhall-lang.org` to point
to the Prelude on GitHu...

This changes the grammar to replace a few occurrences of `selector-expression`
with `import-exp...

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

Before this change the following...

This adds support for specifying alternative for imports, as detailed in #163.
We add:
- a `?`...

Fixes #166

Before this change, the grammar made possible to parse an expression
like `./a.b` in 3 differe...

Before this change, a path like `../../foo` would canonicalize incorrectly
to `./foo`. This ch...

This is the first release of the Prelude after the change to `Natural`
literals

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...

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

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

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...

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

Fixes #138

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

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 #116

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

Fixes #92

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

```
{ foo : Text ...

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

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

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

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

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

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

Fixes #108

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

The old semantics produced ...

Fixes #99

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

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

Fixes #94 and #95

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

The motivation behind this change is to add support for "modules" to
Dhall, which are just larg...

This documents how to deploy the Hydra server and also how to set up an
IPFS mirror for the Pre...

Fixes https://github.com/dhall-lang/dhall-lang/issues/84

This technically doesn't change the grammar since
parsing `constructors` takes precedence over ...

The purpose of this change is to permit identifiers that begin with
reserved keywords. Here ar...

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

This adds `.` to the list of su...

* Type synonym support

This changes the standard semantics to support type synonyms, which is...