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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implement normalization for record merging operators	Nadrieril	2019-05-08	2	-21/+113
\|
*	Rename the record combining operators internally	Nadrieril	2019-05-08	1	-3/+3
\|
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-21/+68
\|
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	1	-52/+93
\|
*	Slight improvement to typecheck ergonomics	Nadrieril	2019-05-07	1	-59/+28
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	2	-5/+2
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	3	-29/+42
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	1	-1/+2
\|
*	Small mistake	Nadrieril	2019-05-07	1	-1/+3
\|
*	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	2	-4/+4
\|
*	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	2	-116/+43
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	3	-1194/+160
\|
*	Consolidate errors in the error module	Nadrieril	2019-05-06	4	-125/+25
\|
*	Reorganize dhall into a phase structure	Nadrieril	2019-05-06	6	-0/+4093