dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

	Commit message (Expand)	Author	Age	Files	Lines
*	Untangle caching code	Nadrieril	2020-11-01	4	-6/+5
*	Roll our own Value for binary decoding	Nadrieril	2020-10-30	1	-12/+162
*	Don't use serde_cbor::Value in binary encoding	Nadrieril	2020-10-30	1	-40/+40
*	No need to escape underscores in pretty-printing	Nadrieril	2020-10-28	1	-1/+3
*	Prefer u64/i64 to usize/isize	Nadrieril	2020-10-28	2	-6/+5
*	Make `SimpleValue` deserializable within other types	Nadrieril	2020-10-27	1	-0/+1
*	Implement Text/replace	Basile Henry	2020-10-25	1	-0/+2
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	5	-22/+34
*	spec: allow trailing delimiters	Nadrieril	2020-06-25	1	-6/+7
*	spec!: remove Optional/build and Optional/fold	Nadrieril	2020-06-25	1	-4/+3
*	spec: remove Unicode character from `dhall.abnf`	Nadrieril	2020-06-25	1	-1/+1
*	spec!: remove the ability to quote paths in URLs	Nadrieril	2020-06-25	3	-14/+8
*	spec: ensure `keyword` rule only matches keywords	Nadrieril	2020-06-25	1	-2/+4
*	spec: not all ABNF parsers like empty rules	Nadrieril	2020-06-25	3	-44/+21
*	spec: allow quoted labels to be empty	Nadrieril	2020-06-25	2	-2/+4
*	spec: fix precedence of `===` and `with`	Nadrieril	2020-06-25	3	-9/+21
*	fix(ci): grammar sync test fails spuriously on ci	Nadrieril	2020-06-20	1	-0/+1
*	Commit grammar file locally	Nadrieril	2020-05-30	2	-0/+965
*	Use dhall.abnf directly instead of via symlink	Nadrieril	2020-05-30	1	-1/+0
*	Deserialize `Prelude.Map` and `toMap` to a map instead of a list	Nadrieril	2020-04-10	1	-0/+6
*	Move Label escaping out of its Display impl	Nadrieril	2020-04-09	1	-21/+33
*	Move duplicate field checking to parser	Nadrieril	2020-04-07	5	-306/+59
*	Move BinOp and Builtin definitions in the relevant module	Nadrieril	2020-04-06	5	-160/+17
*	Extract operation-related code to a new module	Nadrieril	2020-04-06	5	-72/+14
*	Factor out operations in typecheck	Nadrieril	2020-04-06	1	-2/+2
*	Split off operations from main expr enum	Nadrieril	2020-04-06	6	-212/+253
*	Check code hashes in import	Nadrieril	2020-04-05	1	-0/+8
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	7	-17/+17
*	Remove top-level Expr aliases	Nadrieril	2020-03-31	1	-1/+1
*	Rename LitKind to NumKind	Nadrieril	2020-03-31	6	-27/+27
*	Fix indexing for spans that go to the end of the input	Nadrieril	2020-03-31	1	-5/+7
*	Upgrade annotate-snippets version	Nadrieril	2020-03-31	1	-8/+2
*	Remove more unnecessary parens in printer	Nadrieril	2020-03-20	3	-10/+35
*	Parse RFC3986 URLs	Nadrieril	2020-03-20	2	-2/+22
*	Remove never_type feature	Nadrieril	2020-03-17	1	-2/+4
*	Run clippy	Nadrieril	2020-03-17	5	-65/+111
*	Implement record puns	Nadrieril	2020-03-11	4	-1/+9
*	Add support for `with` keyword	Nadrieril	2020-03-10	3	-1/+44
*	Implement remote imports and cleanup import chaining	Nadrieril	2020-03-05	5	-34/+34
*	Implement remote `as Location` resolution	Nadrieril	2020-03-05	1	-1/+1
*	Implement `as Location` imports	Nadrieril	2020-03-05	1	-29/+0
*	Implement some normalization simplifications	Nadrieril	2020-03-05	1	-1/+1
*	Normalization for ProjectionByExpr	Basile Henry	2020-03-02	1	-1/+1
*	Add support for dotted field syntax	Nadrieril	2020-02-20	2	-2/+14
*	Add support for duplicate record fields	Nadrieril	2020-02-20	4	-21/+46
*	Expose fewer pub things	Nadrieril	2020-02-19	3	-45/+7
*	Remove some unused code	Nadrieril	2020-02-17	1	-24/+0
*	Start requiring Universe to build a Type	Nadrieril	2020-02-16	1	-0/+7
*	Introduce LitKind to factor out common enum nodes	Nadrieril	2020-02-11	6	-40/+55
*	Simplify ExprKind visitor	Nadrieril	2020-02-11	2	-140/+84