This adds a new `dhall-static` target that builds a fully static `dhall`
executable that can be...

This changes the functions to now take an `InputSettings` record so that:

* We can avoid prol...

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

* use recent lts-12 for ghc 8.4.3

* ignore the usual build dirs

* remove lts-11 stack file

Add 'shell.nix' for local development

As part of this I created a new files `./nixpkgs` that obtains a
specific version of the nixpkgs...

`cabal-to-dhall` has recently learned the default values of
fields. Now `dhall-to-cabal` is abl...

* Add various functions explicitly taking a root directory.

Now the importing code is not tie...

Fixes #504

This ensures that all handles use the UTF-8 locale by default so that we don't
ha...

* We add the `glibcLocales` dependency to the somke test. This makes the
`en_US.UTF-8` locale ...

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

Implements dhall-lang/dhall-lang#184

We improve the convert code by rewriting the `get_typ`. It is now more
general and properly rec...

Fix Kubernetes version for which to get swagger

For now I think it is sufficient to hardcode this. We can come up with a
better schema later.

This uses the `readDirectory` utility for ease of testing updates to
dependencies

* Change IPFS links to new Prelude location on GitHub

* Change types from Integer to Natural ...

trasforming -> transforming
lanugage -> language

Update to Dhall >= 1.14

Switch Integer to Natural

Add script that checks generated source files

Default `kind` and `apiVersion` values

The `kind` and `apiVersion` properties of a Kubernetes resource are
already implicitly determine...

This comes in handy when testing Stackage-related bumps to upper bounds

... as suggested by @sol

Fixes #493

This should have been 2.2 but I must have mis-accepted the tests
during all the rebasing. Oops.

In Cabal 2.2, build-type inference works for 99% of cases and it is
pretty nice. However, if we...

This implements using defaults to omit boring fields for Package,
Executable, Library, Benchmar...

Cabal always reports a `.cabal` file missing the `license` field as
having a license of SPDX.NO...

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

This implements dhall-lang/dhall-lang#172, by adding
"alternative imports", as detailed in dhal...

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

... as discussed in #6

Implement the freeze command (#437)

Takes input from stdin or file and updates all imports wi...

https://github.com/dhall-lang/dhall-json/issues/32 added `dhall-json`
support for preserving th...

Fixes #481

Currently this just removes unused `let` bindings

Fixes #32

Previously `dhall-to-json` would discard tags when converting to JSON and this
add...

Part of #424

This special-cases the logic for displaying type mismatches to display
`Optiona...

Part of https://github.com/dhall-lang/dhall-lang/issues/162

This path was wrong and causes cabal to give out a warning every time one builds

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

and remove trailing space

- Add polymorphic `keyValue` to have rows with arbitrary value type
- Add a monomorphic variant...

Fixes #445

Fixes #453

This updates the pretty-printing logic to match the precedence of the grammar.

...

This updates the logic in `Dhall.Diff` to accurately match parsing precedence
(in order to avoi...

* Move things that aren't types out of dhall/types

Mostly, these are the functions operating ...

Fixes #462

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

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

* add mapping over source repos of a project

* add SourceRepo type

* Add constructors for ...

Fixes #468

The code to strip leading whitespace was incorrectly computing the leading
whites...

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

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

Before this change the following...