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

	Commit message (Expand)	Author	Files	Lines
2019-05-09	Correctly shift free variables in normalization	Nadrieril	1	-10/+10
2019-05-08	Implement normalization for record merging operators	Nadrieril	1	-0/+7
2019-05-08	Implement normalization of missing builtins	Nadrieril	1	-2/+7
2019-05-08	Fix Context shifting	Nadrieril	1	-15/+24
2019-05-08	shift on lookup instead of on insert	Nadrieril	2	-27/+71
2019-05-07	Replace hashmap-based context with a vec-based one	Nadrieril	1	-14/+37
2019-05-07	Don't discard normalization work done by typechecking	Nadrieril	2	-31/+54
2019-05-07	Unify typecheck and normalization contexts	Nadrieril	2	-65/+113
2019-05-07	Promote shift and subst_shift to traits	Nadrieril	4	-86/+119
2019-05-07	Move AlphaVar and AlphaLabel into a new module	Nadrieril	5	-105/+110
2019-05-07	Small mistake	Nadrieril	1	-1/+1
2019-05-07	Document Value and Thunk	Nadrieril	2	-8/+21
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	1	-2/+2
2019-05-06	Move main datatypes into their own modules	Nadrieril	4	-0/+1050