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

... as mentioned here: https://github.com/dhall-lang/dhall-haskell/issues/97#issuecomment-477699...

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

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

This adds two new `T...

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

This also adds `dhal...

Related to https://github.com/commercialhaskell/stackage/issues/4444

... as caught by @singpolyma

`Dhall.Binary.unApply` was failing to uncurry functions due to t...

The `Path` constructor was deprecated a long time ago, so it's pretty
safe to remove now

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

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

... as suggested by @singpolyma

Fix the type equality check by using judgmental equality

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

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

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

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

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

I forgot to bump these versions when cutting the latest release

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

This softens the language to p...

... as proposed in https://github.com/dhall-lang/dhall-kubernetes/issues/46#issuecomment-4685306...

These aren't fully static executables (they still have some
`/nix/store` references), but they ...

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

This also updates th...

Also sort fields in the `Arbitrary` instance for `Dhall.Map` in serialization tests

This commit fixes an issue that made the last branch of the completer
unreachable.

The secon...

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

Fixes #832 832

This includes two changes:

* Fix a missing newline at the end of `dhall for...

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

These allow one to enable or dis...

Related to #783

Co-Authored-By: f-f <[email protected]>

This prevents build failures when running tests for the `dhall` package

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

The standard specifies that `!=` sh...

The README missed the call to `curl -L`.

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

These can be used to convenientl...

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

... as suggested by @jneira here:

https://github.com/dhall-lang/dhall-haskell/issues/791#issu...

.. as caught by @Profpatsch in:

https://github.com/dhall-lang/dhall-haskell/pull/812#issuecom...

This also updates the declared set of GHC versions tested with in the
`.cabal` files

The format for the save file is a plain Dhall file containing REPL commands.
This will hopefull...

Related to #561

This adds source position information to missing imports

Before:

```
$...

Fixes #809

This allows the user to check if the input is formatted instead of formatting
the...

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

* Remove version tag from encoded expressions

... as standardized in https://github.com/dhall...

The motivation behind this change is so that users can freeze remote imports
(like the Prelude)...

This is useful for integrating dhall to build systems where dhall
expressions (e.g. of type `Te...

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

This uses `Text.Megaparsec.Char.Lex...

Signed-off-by: Basile Henry <[email protected]>

Related to https://github.com/commercialhaskell/stackage/issues/4329

This commit adds a flag for producing a machine readable listing of
dependencies of a dhall exp...

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

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

This removes the dependency on t...

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

... as suggested by @PierreR in ...

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

... as suggested by @ocharles in
https://github.com/dhall-lang/dhall-haskell/commit/c368d66a6f7...

`dhall lint` would fail on the following expression:

```
let replicate = https://prelude...

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

According to the standard a n...

Related to https://github.com/commercialhaskell/stackage/issues/4290

A refactor of the Nix build accidentally removed the `-Werror` flag, which
caused some warnings...

This fixes the problem found in https://github.com/dhall-lang/dhall-lang/issues/166#issuecomment...

According to the standard https://github.com/dhall-lang/dhall-lang/blob/master/standard/dhall.ab...

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

This pre-normalizes expressions ...

The Haskell implementation was not matching the specification for
type-checking union types:

...

Several people commented that they had difficulty with the first example:

* They didn't reali...

This is so that I can link people to the `README` if they are interested in
improving the site

Setting the `display: none` style for `textarea`s makes them uneditable

This updates `dhall-lang.org` with the following main changes:

* Greater emphasis on Dhall as...

This adds four new sections to the page after the live demo which highlight
the common themes t...

This moves the type annotation into a separate tab, both to avoid
the type cluttering the defau...

This build product is no longer necessary now that the live demo can import
things from the Pre...

The logo is an SVG file, not a PNG

This expands the "Try dhall" page to serve as a functional home page for
"dhall-lang.org" in th...

This reduces the size of the generated JavaScript code from ~15 MB to ~6 MB

We can import expressions from `https://prelude.dhall-lang.org`
now that it provides CORS suppo...

This change sthe layout to a side-by-side split-pane output
and also adds tabs for each pane:
...

This is phase 1 of transitioning to pretty-printing by default, as
described here:

https://g...