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	-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