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

Fixes #320

This changes `https://dhall-lang.org` to serve the new website for the
language i...

The Dhall tests need to make outbound connections in order to import
code from `prelude.dhall-l...

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 requires several changes:

First, `prelude.dhall-lang.org` needs to no longer be a redire...

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

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

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

This adds support fo...

This upstreams the Haskell implementation's support for custom headers
for remote imports into ...

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

Note that this a bre...

Fixes #262

Supersedes #214

This upstreams the Haskell implementation's support for multi-l...

Don't require union literal type's type to be `Type`

* Test with QuickCheck that an expression is always the same as itself

I noticed cases where ...

This adds three new Nix build products:

* `try-dhall-static` - The static assets for "Try Dha...

:D

This moves all of the test suite modules underneath a `Dhall.Test`
module hierarchy instead of ...

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

This updates all of the `README`s to:

* centralize all of the build/install/develop informati...

This adds a GHCJS build for Dhall so that:

* We can build a `try.dhall-lang.org` to try Dhall...

This simplifies mass disabling of tests or jailbreaking of packages,
typically in order to test...

* Autocomplete repl commands

* Autocomplete imports (file and environment)

* Improve autoc...

The motivation for this change is so that more code type-checks
within a REPL session.

For e...

This extends the import resolution judgement to prevent import cycles
that would trivially allo...

`replicate` takes a Natural type now

`List/length` takes a `Natural` now.

Fixes #721

* Prefer `throwIO` to `throw`

This is essentially a revert of 25d86e8e5dd7f5a8b1f7154ca2fa7ed712e0027b

The primary motivati...

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

This upstreams the Haskell implementation's support for `as Text`
into the standard. This was ...

Fixes #714

This adds a `--json` flag that `dhall decode` and `dhall encode` can use to
read/...

Now that `constructors x` is the same as `x` we can have `dhall lint`
safely strip all uses of ...

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

Fixes https://github...

The first two cases of the `handler₀` function are just special cases
of the last case

* Add dotgen to stack.yaml

* Generate strict dot graph (prune redundant connections)

Fixes #509

The `Dhall.Import.HTTP` module had logic for pretty-printing HTTP error
message, ...

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

The motivation for this change i...

* Add dotgen as a dependency

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

* Build up ...

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

Before this change the grammar a...

... to slightly improve the visual appearance of the `README`

... as caught by @jneira

This fixes an apparently very old bug in import caching caught by @basile-henry

Before this c...

`dhall lint` was incorrectly deleting `let` bindings that are being used
due to not checking ot...

I forgot to bump the version number for `dhall-bash` in #691, which this
change fixes

Fixes #692

The standard permits a user to access a constructor from a type stored inside
a r...

Phase 2 of #244

Changes `constructors` to the identity function. Marking it as deprecated an...

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

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

This allow path components to be qu...

* Fix a dangling reference to `decode-1.0` which is now
`decodeWithVersion`
* Fix the note a...

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