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

… by not using `/homeless-shelter` for the Dhall cache or the
bundler path.

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

These trigger a bug the current Haskell implementation
(https://github.com/dhall-lang/dhall-has...

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

In particular, this is based o...

* Fix commit used for cors tests

* Add a forgotten test

* Setup two-hops cors tests

* nixops: Update reference to dhall-haskell

* Format Prelude's type with Unicode CharacterSet...

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

The main motivation for this change is to enable testing the reference
implementation before pr...

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

This changes the top-level prelude.d...

… to both dhall-lang.org and store.dhall-lang.org

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

Make the code editors and gifs shrink as necessary.

Split the large hash gif into two smaller...

This change adds the latest release of dhall-ansible.

In the course of debugging the issues that led to
https://github.com/dhall-lang/dhall-lang/pull...

By default, Hydra does not use the public Nix cache (mainly to
lock down the "chain of custody"...

`These instances comes in handy` -> `These instances come in handy`

This is testing a possible long-term solution to the issue
documented in:

https://github.com...

This updates `store.dhall-lang.org` to serve Dhall
documentation for all packages that are buil...

This change allows contributors to easily add new packages using
the `dhall-to-nixpkgs` utility...

The Discourse mail server was broken in the course of upgrading Nixpkgs
in #1114.

The issue ...

… to add the latest version of the Prelude and also
`dhall-kubernetes` releases

This also up...

… to include:

* Binary encoding
* α-normalization
* β-normalization
* Equivalence checking...

This was a workaround for an older version of `hydra` which appears to
no longer be necessary.

Now that we have language support for `Text/replace` we don't need
to use `Text/show` any longe...

This builds upon #1102 by adding a literate Haskell
implementation of shifting and substitution...

Hydra started to get stuck after being upgraded in #1114. Specifically,
builds would get stuck...

The motivation of this change is to pick up
[newer Nixpkgs code](https://github.com/NixOS/nixpk...

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

These tests weren't following the ...

… by escaping backticks inside of the JavaScript multi-line literal

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

This is the first step toward...

… which should help conserve disk utilization

… by garbage collecting more aggressively.

Before this change old system configurations were ...

Now we properly sanitize attributes and text by escaping special
characters

… built on top of the Rust bindings

There seems to be a typo in the rule for the re-escaping of characters `\`, `$` and `"`. I guess...

* Normalize Text/replace for empty needle, abstact replacement/haystack

If the needle is empt...

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

## Description

Before this change, conditional branching based on
types was not allowed for...

… which contains the old logic for rendering JSON compactly on one line

The motivation for th...

… to point to the `softwarefactory-project` organization

This will allow us to add a sponsorship button to this repository

* Add missing import for Text/replace

Signed-off-by: Alex Humphreys <[email protected]>

...

… and also update examples to use newer language features

* Don't package Prelude versions 13...

* Version 18.0.0 -> 19.0.0

* note Text/replace in CHANGELOG

* Add Text/replace builtin

Signed-off-by: Alex Humphreys <[email protected]>

* Updat...

As suggested here: https://stackoverflow.com/a/64094498/3314107

* Implement `with` directly rather than via desugaring

I found it confusing to implement the ...

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

The main changes are:

* Add mis...

Now relative imports on the Prelude uses the `.dhall` extension to work properly with `dhall-docs`

The motivation for this change is:

https://github.com/dhall-lang/dhall-haskell/issues/1960

...

See: https://discourse.dhall-lang.org/t/announcing-the-dhall-containerfile-type/326

... so that the comment headers are included in the generated documentation

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

... and also sort things alphabetically along the way

Refactor the Prelude so each file has also a .dhall extension. This was done for the GSoC dhall-...

By reducing the number of times that some functions use their
arguments, we prevent terms from ...

This rewords the claim so that the reader does not infer that
semantic integrity checks can det...

Co-authored-by: Simon Jakobi <[email protected]>

This implements phase 3 of the deprecation plan at

https://docs.dhall-lang.org/howtos/migrati...

Currently, policyd-spf is blocking email from hydra because it appears
to come from `::1`, and ...

* Test that we typecheck `let` annotations

This testcase came up in a PR on dhall-golang:
ht...

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

This ensures we run hydra-unstable and pulls in a patch for
NixOS/hydra#757 which will (I think...

The "smart constructors" trick is essential to using recursive
types ergonomically, but the rec...

This adds me as an ssh user to the machines hosting the various bits of
dhall infrastructure.
...

Fixes #581.

This is the last step in the deprecation plan documented here:
https://docs.dhal...

The `keyword` rule is provided for PEG (and similar) parsers to exclude
keywords from places li...