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

	Commit message (Expand)	Author	Age	Files	Lines
*	Move api into its own crate	Nadrieril	2019-08-13	1	-4/+4
*	Remove dhall::expr!() macro	Nadrieril	2019-08-10	2	-9/+45
*	Add support for dependent types	Nadrieril	2019-08-08	2	-1/+22
*	Remove union literals from the language	Nadrieril	2019-08-07	1	-12/+3
*	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	1	-3/+5
*	clippy	Nadrieril	2019-05-12	3	-5/+3
*	Merge Type and Typed	Nadrieril	2019-05-09	1	-1/+1
*	Make visibilities more consistent	Nadrieril	2019-05-09	4	-67/+54
*	Reduce the distance between Type and Typed	Nadrieril	2019-05-09	1	-48/+11
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	2	-8/+4
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	4	-118/+147
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-6/+6
*	Correctly shift free variables in normalization	Nadrieril	2019-05-09	1	-10/+10
*	Implement normalization for record merging operators	Nadrieril	2019-05-08	1	-0/+7
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-2/+7
*	Fix Context shifting	Nadrieril	2019-05-08	1	-15/+24
*	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