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

This adds `:` to the list of su...

This adds a new `semantics.md` document which specifies the formal semantics
for type-checking ...

The latest version of Dhall strips the leading newline

Fixes #55

Running the examples through `dhall-format` broke string
interpolation, so this change fixes it

As part of standardizing the grammar the language now
uses JSON-style escape sequences instead ...

This indents the multi-line comment example so that
it renders indented within the bulleted list

This uses the new `dhall-format` utility to
format the cheatsheet examples

The parser documents in one of the comments the set of reserved keywords, but
this list acciden...

This updates the parser to reflect Dhall's new support for `sha256` integrity
checks on imports

This fixes a broken link to the language tutorial

The `''${` escape sequence doesn't make sense for double-quoted
strings. First off, it already...

This adds two additional backtracking hints for parsing IPv4 and IPv6

This change explains in detail how to interpret the grammar rules when
building a parser

This simplifies the specification a but (should be) equivalent and does not
change the grammar

The old grammar was treating anything between braces as a comment and not
account for the dashe...

This fixes the grammar to expect `==` instead of `=` for
bool equality

The grammar was ambiguous as to whether or not two single quotes in a row would
terminate a sin...

This is purely to improve readability of the grammar

This lets you escape string interpolation in a double-quoted string

Note that this grammar is equivalent to the old one, but just specified in a
simpler manner

The grammar for escape sequences had the wrong character for initiating the
sequence

The `Natural` number grammar was defined in terms of the `Integer` parser, which
meant that `Na...

The `not-brace` parser was missing characters ranging over `0x7E-10FFFE`

... as suggested by @chepner in #22

The primary reasons for not supporting Unicode labels are:

* They are semantically meaningful...

See: https://github.com/dhall-lang/dhall-haskell/issues/27

This changes the grammar for environment variable imports to match the set of
names accepted by...

This fixes the grammar for http[s] imports to match the relevant RFCs

This mirrors the JSON specification as closely as possible for double-quoted
strings and also i...

I realized that you can specify Unicode characters by their code points instead
of by their UTF...

This change includes a first pass at standardizing Dhall's grammar using ABNF
notation from RFC...

This allows users to easily navigate to downstream sections without much
difficulty while still...

Part of #6

* Add cheatesheet.md

Originally from
https://github.com/Profpatsch/blog/blob/master/notes/dh...

It was pointed at the Haskell library originally

I hope I'm not mistaken here :)