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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Remove special closures from Value	Nadrieril	2019-08-15	3	-136/+62
*	Fix bug in shifting contexts	Nadrieril	2019-08-15	1	-1/+10
*	Fix typo in normalization	Nadrieril	2019-08-14	1	-1/+1
*	Implement inline headers parsing	Nadrieril	2019-08-13	3	-39/+27
*	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	2	-23/+34
*	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	4	-13/+25
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	4	-10/+4
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	5	-30/+28
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	4	-39/+36
*	Typos	Nadrieril	2019-08-13	1	-2/+2
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	5	-86/+96
*	Swap Typed and TypeThunk	Nadrieril	2019-08-13	2	-91/+129
*	Add new error type for serde_dhall	Nadrieril	2019-08-13	1	-12/+0
*	Move api into its own crate	Nadrieril	2019-08-13	6	-436/+16
*	Remove ensure_... macros in typecheck	Nadrieril	2019-08-12	1	-115/+89
*	Remove dhall::expr!() macro	Nadrieril	2019-08-10	5	-42/+126
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-0/+13
*	Update dhall-lang submodule	Nadrieril	2019-08-08	1	-0/+1
*	Add support for dependent types	Nadrieril	2019-08-08	7	-26/+83
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+3
*	Flatten nested let bindings	Nadrieril	2019-08-07	1	-6/+40
*	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	2	-15/+3
*	Add binary-decode tests	Nadrieril	2019-08-07	2	-1/+53
*	Add truncated Natural subtraction	Nadrieril	2019-08-07	2	-0/+11
*	Remove union literals from the language	Nadrieril	2019-08-07	4	-37/+6
*	Various parsing tweaks	Nadrieril	2019-08-07	1	-3/+3
*	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	1	-0/+2
*	Generalize empty list annotations	Nadrieril	2019-08-06	1	-2/+6
*	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	4	-45/+71
*	rustfmt	Nadrieril	2019-08-06	1	-1/+2
*	Auto-generate typechecking tests list	Nadrieril	2019-08-06	1	-395/+0
*	Change some tests	Nadrieril	2019-08-06	1	-0/+5
*	RFC3986 URLs	Nadrieril	2019-08-06	1	-1/+7
*	Add some tests	Nadrieril	2019-08-06	1	-0/+10
*	Add some new tests and implement import alternatives	Nadrieril	2019-08-06	3	-4/+4
*	rustfmt	Nadrieril	2019-08-06	1	-7/+10
*	Update dhall-lang submodule	Nadrieril	2019-08-06	1	-0/+2
*	Remove old-style optional literals	Nadrieril	2019-08-06	3	-37/+16
*	Inline headers	Nadrieril	2019-08-06	3	-15/+21
*	rustfmt	Nadrieril	2019-08-03	2	-26/+64
*	Merge pull request #93 from Nadrieril/catchup-spec	Nadrieril Feneanar	2019-08-03	2	-14/+14
\|\
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-12/+12
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-2/+2
* \|	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	3	-9/+129
\|\\|
\| *	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine	FintanH	2019-08-03	3	-15/+58
\| \|\
\| * \|	Mark RecursiveRecordMerge as unreachable	FintanH	2019-08-01	1	-0/+1
\| * \|	Add the typechecking of RecursiveRecordMerge.	FintanH	2019-08-01	3	-8/+129
* \| \|	Simplify Const checking logic	FintanH	2019-08-03	1	-11/+7
* \| \|	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	3	-6/+50
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Add unreachable call for RightBasedRecordMerge case	FintanH	2019-07-31	1	-0/+1