The main difference this entails is formatting changes, as you can
see from the diff

I also ...

There were several stale passages in the `README`, which this change
fixes, and I also took thi...

The old implementation was behaving more like:

\xs ys -> reverse (zip (reverse xs) ys)

...

This is useful when the targeted type requires plain values,
but the data building logic output...

For more details, see:

https://discourse.dhall-lang.org/t/rfc-proxy-dhall-lang-org/144/3?u=ga...

This instead uses standard pattern that is supported everywhere.

... and also fix the docs reference to match the style of other
internal tutorial references

In PR #978 a virtual machine was added for local testing. Now this part of the documentation is ...

Co-authored-by: Gabriel Gonzalez <[email protected]>

The standard requires implementations to check the hash of files fetched
from the cache:

...

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

I was getting the warning

trace: warning: The option `boot.loader.grub.timeout' defined in...

The tests currently depend on csrng.net, which has a rate limit of one
request per second. Thi...

* Add Text whitespaceGenerator

* Incorporate feedback

- change generateWhitespace to a com...

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

This adds a complete language-agno...

Add acceptance test for importing local files with quoted paths

I discovered the tests don't ...

* Allow unions with mixed kinds

* Move some tests to unit/

* Remove some incorrect tests
...

* Make `===` bind less tightly

* Make precedence of `with` more sensible

Co-authored-by: Gabriel Gonzalez <[email protected]>

... as caught by @travisbrown in:

https://discourse.dhall-lang.org/t/normalization-and-partia...

By using `fetchzip` instead of contructing a whole derivation, we can
simplify fetching the zip...

* Add dhall-golang to official list

* Add dhall-golang to the website

This uses `fetchzip`...

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

* Tweak `with` grammar for generated parsers

* Standardize record puns (#867)

* Add a test...

* Fix a test and make another typecheck

* Add a bunch of typecheck tests

* Add a few missi...

Fixes #927

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

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

* Update links in README.md to docs.dhall-lang.org
* Fix broken `Nix` link in readme

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

The problem is due to a bug in `rec...

This fixes a GHCJS bug that causes code with numbers to fail to parse

See: https://github.com...

* Mention discourse in CONTRIBUTING.md

Since we have a section which is "where to ask questio...

I realised that the instructions for how to run the import tests are
Unix-specific; setting XDG...

This should allow us to close #581, finally.

@Duncaen opened philandstuff/dhall-golang#1 with what I think is an ABNF
bug. Broadly, in the ...

This change clarifies (via the test suite) that custom headers using
`toMap` have to be parenth...

Rephrased union example

Mentioned ability to import Prelude as a whole

This change adds instructions to configure the dhall-lsp-server
with different text editors.

The `discourse` service was being restarted every hour for the following
two reasons:

* The ...

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

This builds on top of #896 to add s...

This switches to using `sphinx_rtd_theme` to style the page instead
of the default theme

I've been tweaking dhall-lang.org to free disk space so that we can
begin using the machine as ...

* Fix typing rule for merging `Optional`s

The current rule for typechecking merge on `Optiona...

Currently, we allow parsing literals like `042` as decimal Natural
literals. This is uncommon ...

Updates the hyperlink URL for dhall-yaml to actually point at dhall-yaml instead of dhall-json.

This change adds a tutorial to implement map and fold to generate
list of text.

The motivation for this change is enable a subsequent change to the language
to add support for...

This change enables the autosection label sphinx extension to simplifies
cross reference. This ...

... to reflect changes in `dhall-json` behavior since the last tutorial

Fixes https://github....

This moves the code for the dhall-lang.org website from the
`dhall-haskell` repository to this ...

This changes dhall-lang.org to no longer be managed via NixOps.
Instead, it will automatically ...

This is the first step in making it easier for other people to
manage this machine. The full s...

Otherwise the link doesn't work on the docs.dhall-lang.org website

Motivated by this discussion: https://github.com/dhall-lang/dhall-lang/pull/875#issuecomment-570...

* Add Natural, Integer types to the JSON package
------

Fixes [#872](https://github.com/dhal...

* Mark dhall-rust as complete

* Add dhall-rust to the list of actively maintained language bi...

… as discussed with @SiriusStarr in #862.

* `Some` is a keyword and must be escaped

* Fix order of branches in grammar for PEG parsers
...

… as discussed in #463.

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

https://github.com/dhall-lang/dhall-lang/pull/862 currently fails in CI with

dhall:
...

Update "Edit me" message to "Want to contribute? Edit me on Github!" to make clear that it is de...

Remove reference to `--pretty` flag from docs as the flag no longer exists

* Remove discussion of opacity of `Integer`s from Design Choices

Co-Authored-By: Simon Jakobi...

… as suggested by @Gabriel439 in
https://github.com/dhall-lang/dhall-lang/pull/844#discussion_r...

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

This fix is based on https://github...

```diff
→ λ(n : Integer)
→ if Natural/isZero (Integer/clamp m)

- then if ...

The case analysis allows us to avoid using Integer/abs on factors
of known sign. This is very s...

Co-authored-by: Gabriel Gonzalez <[email protected]>

Normalized diff for lessThanEqual:

```diff
λ(x : Integer)
→ λ(y : Integer)
-→ Natu...

Normalized diff:

```diff
λ(a : Integer)
→ λ(b : Integer)
-→ Natural/isZero
- ...

https://prelude.dhall-lang.org should always link to the latest
release.

... as caught by @matheus23 in https://github.com/dhall-lang/dhall-lang/pull/837#issuecomment-56...

... mainly to match our new "branding"