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

	Commit message (Expand)	Author	Age	Files	Lines
*	Use precedence climbing to parse expressions with operators	Nadrieril	2019-08-15	1	-119/+108
*	Implement inline headers parsing	Nadrieril	2019-08-13	5	-44/+80
*	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	2	-6/+24
*	The syntax has very little sharing; no need for Rc anymore	Nadrieril	2019-08-13	1	-11/+5
*	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	4	-20/+36
*	Cleanup visitor code	Nadrieril	2019-08-13	1	-139/+54
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	3	-128/+44
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	4	-35/+4
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	4	-138/+84
*	Add support for dependent types	Nadrieril	2019-08-08	4	-1/+22
*	Add truncated Natural subtraction	Nadrieril	2019-08-07	3	-0/+3
*	Remove union literals from the language	Nadrieril	2019-08-07	4	-63/+3
*	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	1	-2/+21
*	Sort labels in projection expressions	Nadrieril	2019-08-07	3	-5/+100
*	Generalize empty list annotations	Nadrieril	2019-08-06	2	-5/+7
*	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	2	-3/+3
*	Add toMap keyword	Nadrieril	2019-08-06	1	-0/+1
*	RFC3986 URLs	Nadrieril	2019-08-06	3	-0/+9
*	Braced escape sequences	Nadrieril	2019-08-06	1	-4/+24
*	Add some new tests and implement import alternatives	Nadrieril	2019-08-06	2	-0/+64
*	Remove old-style optional literals	Nadrieril	2019-08-06	4	-31/+3
*	Inline headers	Nadrieril	2019-08-06	1	-0/+1
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+1
*	Update dhall-lang submodule	Nadrieril	2019-08-03	4	-9/+19
*	Tweak	Nadrieril	2019-05-12	1	-12/+12
*	clippy	Nadrieril	2019-05-12	3	-5/+4
*	Implement binary encoding	Nadrieril	2019-05-12	5	-50/+106
*	oops	Nadrieril	2019-05-10	1	-0/+1
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	6	-39/+217
*	Small utility SubExpr::from_builtin	Nadrieril	2019-05-09	1	-0/+4
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	3	-194/+94
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-9/+13
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	3	-31/+37
*	Update dhall-lang submodule	Nadrieril	2019-05-09	2	-27/+68
*	Rename the record combining operators internally	Nadrieril	2019-05-08	3	-11/+11
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-1/+12
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	1	-1/+1
*	Reorganize dhall_syntax	Nadrieril	2019-05-07	8	-8/+12
*	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	2	-108/+16
*	We actually don't need SubExpr::shift anymore	Nadrieril	2019-05-04	1	-81/+0
*	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	2019-05-04	4	-218/+187
*	Revert "Recover arrow type detection"	Nadrieril	2019-05-04	2	-47/+19
*	Recover arrow type detection	Nadrieril	2019-05-04	2	-19/+47
*	Make SubExpr generic in the variable labels type	Nadrieril	2019-05-04	4	-187/+218
*	Thread Spans through the AST	Nadrieril	2019-05-04	3	-127/+139
*	Move `Note`s into the spine of the AST	Nadrieril	2019-05-04	4	-235/+80
*	Remove dummy lifetimes	Nadrieril	2019-05-04	1	-58/+55
*	Replace pest::Span with a custom non-borrowing implementation	Nadrieril	2019-05-04	1	-25/+50
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	10	-0/+3050