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

	Commit message (Expand)	Author	Age	Files	Lines
*	Mark RecursiveRecordMerge as unreachable	FintanH	2019-08-01	1	-0/+1
*	Add the typechecking of RecursiveRecordMerge.	FintanH	2019-08-01	3	-8/+129
*	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
*	clippy	Nadrieril	2019-05-12	9	-131/+122
*	Split-off printer and binary encoding tests from parser tests	Nadrieril	2019-05-12	2	-37/+85
*	Include success or failure prefix in test filtering	Nadrieril	2019-05-12	4	-24/+18
*	Implement binary encoding	Nadrieril	2019-05-12	13	-82/+465
*	oops	Nadrieril	2019-05-10	1	-0/+1
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	9	-75/+269
*	Merge Type and Typed	Nadrieril	2019-05-09	3	-105/+55
*	Fix missing methods for tests	Nadrieril	2019-05-09	1	-0/+8
*	Make visibilities more consistent	Nadrieril	2019-05-09	10	-125/+106
*	Rewrite Deserialize trait around new Value and Type	Nadrieril	2019-05-09	7	-88/+73
*	Rewrite the StaticType trait and everything around it	Nadrieril	2019-05-09	11	-314/+257
*	Tweak Typed	Nadrieril	2019-05-09	1	-15/+16
*	Reduce the distance between Type and Typed	Nadrieril	2019-05-09	3	-157/+108
*	Remove TypeIntermediate in favor of special-purpose functions	Nadrieril	2019-05-09	1	-214/+183
*	Small utility SubExpr::from_builtin	Nadrieril	2019-05-09	2	-9/+7
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	8	-213/+105
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	9	-138/+182
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	9	-115/+124
*	Generate normalization tests automatically	Nadrieril	2019-05-09	5	-394/+85
*	Correctly shift free variables in normalization	Nadrieril	2019-05-09	2	-11/+11
*	Update dhall-lang submodule	Nadrieril	2019-05-09	6	-43/+106
*	Typecheck record projection	Nadrieril	2019-05-08	2	-7/+32
*	Typecheck merge	Nadrieril	2019-05-08	3	-12/+97
*	Move binop normalization into a separate function	Nadrieril	2019-05-08	1	-165/+153
*	Implement normalization for record merging operators	Nadrieril	2019-05-08	3	-21/+120
*	Rename the record combining operators internally	Nadrieril	2019-05-08	4	-14/+14
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	3	-24/+87
*	Fix Context shifting	Nadrieril	2019-05-08	1	-15/+24
*	shift on lookup instead of on insert	Nadrieril	2019-05-08	2	-27/+71
*	Replace hashmap-based context with a vec-based one	Nadrieril	2019-05-07	1	-14/+37
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	4	-84/+148
*	Slight improvement to typecheck ergonomics	Nadrieril	2019-05-07	1	-59/+28
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	5	-76/+115
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	7	-115/+161
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	6	-106/+112
*	Merge branch 'reorganize'	Nadrieril	2019-05-07	68	-2109/+1881
\|\
\| *	Reorganize dhall_syntax	Nadrieril	2019-05-07	8	-8/+12
\| *	Small mistake	Nadrieril	2019-05-07	2	-2/+4
\| *	Document Value and Thunk	Nadrieril	2019-05-07	2	-8/+21
\| *	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	6	-119/+27
\| *	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	3	-117/+43
\| *	Fix derive	Nadrieril	2019-05-07	3	-3/+5
\| *	Move main datatypes into their own modules	Nadrieril	2019-05-06	10	-1199/+1217
\| *	Move api-related modules into an api module	Nadrieril	2019-05-06	7	-38/+41