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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Reduce the distance between Type and Typed	Nadrieril	2019-05-09	1	-87/+78
\|
*	Remove TypeIntermediate in favor of special-purpose functions	Nadrieril	2019-05-09	1	-214/+183
\|
*	Small utility SubExpr::from_builtin	Nadrieril	2019-05-09	1	-9/+3
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	1	-2/+1
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-2/+11
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-30/+33
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-09	1	-2/+14
\|
*	Typecheck record projection	Nadrieril	2019-05-08	1	-7/+30
\|
*	Typecheck merge	Nadrieril	2019-05-08	1	-12/+87
\|
*	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	1	-2/+2
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	1	-0/+1
\|
*	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	1	-3/+3
\|
*	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	1	-21/+7
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-208/+137
\|
*	Consolidate errors in the error module	Nadrieril	2019-05-06	1	-103/+11
\|
*	Reorganize dhall into a phase structure	Nadrieril	2019-05-06	1	-0/+1276