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

	Commit message (Expand)	Author	Age	Files	Lines
...
* \|	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	FintanH	2019-08-12	1	-70/+76
\|\\|
\| *	Add support for dependent types	Nadrieril	2019-08-08	1	-0/+12
\| *	Add truncated Natural subtraction	Nadrieril	2019-08-07	1	-0/+1
\| *	Remove union literals from the language	Nadrieril	2019-08-07	1	-48/+3
\| *	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	1	-2/+21
\| *	Sort labels in projection expressions	Nadrieril	2019-08-07	1	-3/+3
\| *	Generalize empty list annotations	Nadrieril	2019-08-06	1	-4/+6
\| *	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	1	-1/+2
\| *	Add toMap keyword	Nadrieril	2019-08-06	1	-0/+1
\| *	RFC3986 URLs	Nadrieril	2019-08-06	1	-0/+7
\| *	Braced escape sequences	Nadrieril	2019-08-06	1	-4/+24
\| *	Remove old-style optional literals	Nadrieril	2019-08-06	1	-15/+3
* \|	Refactor of File to be the combination of Directory and the file name,	FintanH	2019-08-12	1	-13/+28
\|/
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+1
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-5/+13
*	clippy	Nadrieril	2019-05-12	1	-2/+2
*	Implement binary encoding	Nadrieril	2019-05-12	1	-7/+6
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	1	-23/+14
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-14/+23
*	Update dhall-lang submodule	Nadrieril	2019-05-09	1	-27/+56
*	Rename the record combining operators internally	Nadrieril	2019-05-08	1	-3/+3
*	Thread Spans through the AST	Nadrieril	2019-05-04	1	-82/+80
*	Move `Note`s into the spine of the AST	Nadrieril	2019-05-04	1	-1/+1
*	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	1	-0/+984