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

	Commit message (Expand)	Author	Age	Files	Lines
*	Add binary-decode tests	Nadrieril	2019-08-07	3	-3/+74
*	Add truncated Natural subtraction	Nadrieril	2019-08-07	7	-0/+15
*	Remove union literals from the language	Nadrieril	2019-08-07	10	-104/+11
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
*	Various parsing tweaks	Nadrieril	2019-08-07	4	-18/+3
*	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	4	-2/+24
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
*	Sort labels in projection expressions	Nadrieril	2019-08-07	3	-5/+100
*	Generalize empty list annotations	Nadrieril	2019-08-06	6	-7/+37
*	Circumvent spec error	Nadrieril	2019-08-06	1	-0/+11
*	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	6	-48/+74
*	Update dhall-lang submodule	Nadrieril	2019-08-06	1	-0/+0
*	rustfmt	Nadrieril	2019-08-06	2	-5/+3
*	Add toMap keyword	Nadrieril	2019-08-06	4	-0/+23
*	Auto-generate typechecking tests list	Nadrieril	2019-08-06	2	-398/+33
*	Change URL parsing	Nadrieril	2019-08-06	3	-1/+4
*	Change some tests	Nadrieril	2019-08-06	3	-15/+18
*	RFC3986 URLs	Nadrieril	2019-08-06	9	-3/+42
*	Add some tests	Nadrieril	2019-08-06	4	-2/+31
*	Braced escape sequences	Nadrieril	2019-08-06	3	-4/+25
*	Add some new tests and implement import alternatives	Nadrieril	2019-08-06	5	-4/+68
*	rustfmt	Nadrieril	2019-08-06	1	-7/+10
*	Update dhall-lang submodule	Nadrieril	2019-08-06	2	-0/+2
*	Remove old-style optional literals	Nadrieril	2019-08-06	10	-70/+22
*	Inline headers	Nadrieril	2019-08-06	7	-15/+42
*	rustfmt	Nadrieril	2019-08-03	2	-26/+64
*	Merge pull request #93 from Nadrieril/catchup-spec	Nadrieril Feneanar	2019-08-03	11	-28/+53
\|\
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+0
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	5	-5/+13
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	7	-21/+38
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	2	-2/+2
* \|	Merge pull request #92 from FintanH/fintan/typecheck-combine-types	Nadrieril Feneanar	2019-08-03	3	-7/+115
\|\ \ \| \|/ \|/\|
\| *	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	3	-9/+129
\| \|\ \| \|/ \|/\|
* \|	Merge pull request #90 from FintanH/fintan/typecheck-combine	Nadrieril Feneanar	2019-08-03	3	-9/+130
\|\ \
\| * \	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine	FintanH	2019-08-03	4	-15/+114
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	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	4	-6/+106
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Merge pull request #88 from FintanH/fintan/typecheck-prefer	Nadrieril Feneanar	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
\| \|/ /
* \| \|	Merge pull request #87 from FintanH/fintan/add-setup-docs	Nadrieril Feneanar	2019-07-25	1	-0/+56
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	Add section to README for contributing. It describes how to set up the git re...	FintanH	2019-07-24	1	-0/+56
\|/ /
\| *	Add typechecking for RecursiveRecordTypeMerge.	FintanH	2019-08-01	3	-7/+120
\|/
*	Update test buffer	Nadrieril	2019-05-12	1	-97/+113
*	Commit test buffer	Nadrieril	2019-05-12	1	-0/+113
*	Tweak	Nadrieril	2019-05-12	1	-12/+12
*	Finish implementing binary encoding	Nadrieril	2019-05-12	2	-8/+11