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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rewrite the StaticType trait and everything around it	Nadrieril	2019-05-09	1	-46/+11
\|
*	Tweak Typed	Nadrieril	2019-05-09	1	-15/+16
\|
*	Reduce the distance between Type and Typed	Nadrieril	2019-05-09	1	-22/+19
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-9/+9
\|
*	Typecheck merge	Nadrieril	2019-05-08	1	-0/+3
\|
*	Implement normalization for record merging operators	Nadrieril	2019-05-08	1	-0/+3
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	1	-3/+0
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	1	-29/+40
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	1	-1/+2
\|
*	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	1	-95/+36
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-2/+8
\|
*	Consolidate errors in the error module	Nadrieril	2019-05-06	1	-5/+3
\|
*	Reorganize dhall into a phase structure	Nadrieril	2019-05-06	1	-0/+389