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

	Commit message (Expand)	Author	Age	Files	Lines
...
\| *	Swap Typed and TypeThunk	Nadrieril	2019-08-13	2	-91/+129
\| *	Add new error type for serde_dhall	Nadrieril	2019-08-13	2	-13/+1
\| *	Move api into its own crate	Nadrieril	2019-08-13	8	-505/+16
* \|	Remove the notion of Directory and have File be the vector of components	Fintan Halpenny	2019-09-02	1	-13/+5
* \|	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	FintanH	2019-08-12	12	-763/+717
\|\\|
\| *	Remove ensure_... macros in typecheck	Nadrieril	2019-08-12	1	-115/+89
\| *	Fix a test	Nadrieril	2019-08-12	1	-2/+0
\| *	Remove dhall::expr!() macro	Nadrieril	2019-08-10	6	-61/+137
\| *	Update dhall-lang submodule	Nadrieril	2019-08-10	2	-4/+22
\| *	Update dhall-lang submodule	Nadrieril	2019-08-08	2	-0/+4
\| *	Add support for dependent types	Nadrieril	2019-08-08	8	-27/+87
\| *	Update dhall-lang submodule	Nadrieril	2019-08-07	2	-0/+4
\| *	Flatten nested let bindings	Nadrieril	2019-08-07	2	-6/+43
\| *	Normalize field selection further by inspecting the argument	Nadrieril	2019-08-07	1	-0/+12
\| *	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	3	-50/+33
\| *	Add binary-decode tests	Nadrieril	2019-08-07	3	-3/+74
\| *	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	2	-7/+3
\| *	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	1	-0/+2
\| *	Generalize empty list annotations	Nadrieril	2019-08-06	2	-2/+8
\| *	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
\| *	Add toMap keyword	Nadrieril	2019-08-06	1	-0/+21
\| *	Auto-generate typechecking tests list	Nadrieril	2019-08-06	2	-398/+33
\| *	Change URL parsing	Nadrieril	2019-08-06	1	-0/+1
\| *	Change some tests	Nadrieril	2019-08-06	2	-15/+18
\| *	RFC3986 URLs	Nadrieril	2019-08-06	2	-3/+25
\| *	Add some tests	Nadrieril	2019-08-06	2	-2/+28
\| *	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	4	-15/+29
* \|	Refactor of File to be the combination of Directory and the file name,	FintanH	2019-08-12	2	-14/+26
\|/
*	rustfmt	Nadrieril	2019-08-03	2	-26/+64
*	Merge pull request #93 from Nadrieril/catchup-spec	Nadrieril Feneanar	2019-08-03	3	-19/+24
\|\
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-5/+10
\| *	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
\| * \|	Reuse the merge_maps function to implement the right-biased union	FintanH	2019-07-31	2	-7/+7
\| * \|	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	2019-07-31	2	-5/+48
\| \|/
* /	Add typechecking for RecursiveRecordTypeMerge.	FintanH	2019-08-01	3	-7/+120
\|/