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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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	2	-31/+54
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	2	-65/+113
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	4	-86/+119
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	5	-105/+110
\|
*	Small mistake	Nadrieril	2019-05-07	1	-1/+1
\|
*	Document Value and Thunk	Nadrieril	2019-05-07	2	-8/+21
\|
*	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	1	-2/+2
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	4	-0/+1050