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

	Commit message (Expand)	Author	Files	Lines
2019-05-07	Unify typecheck and normalization contexts	Nadrieril	2	-5/+2
2019-05-07	Promote shift and subst_shift to traits	Nadrieril	3	-29/+42
2019-05-07	Move AlphaVar and AlphaLabel into a new module	Nadrieril	1	-1/+2
2019-05-07	Small mistake	Nadrieril	1	-1/+3
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	2	-4/+4
2019-05-07	Unify Type, TypeInternal and Typed	Nadrieril	2	-116/+43
2019-05-06	Move main datatypes into their own modules	Nadrieril	3	-1194/+160
2019-05-06	Consolidate errors in the error module	Nadrieril	4	-125/+25
2019-05-06	Reorganize dhall into a phase structure	Nadrieril	6	-0/+4093