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

	Commit message (Expand)	Author	Age	Files	Lines
*	Simplify apply_builtin	Nadrieril	2019-04-20	1	-111/+69
*	Optionals and unions	Nadrieril	2019-04-20	1	-24/+96
*	Natural literals and simplifications	Nadrieril	2019-04-19	1	-14/+32
*	Implement boolean simplifications	Nadrieril	2019-04-19	1	-24/+31
*	Boolean literals	Nadrieril	2019-04-19	1	-10/+34
*	List literals	Nadrieril	2019-04-19	1	-7/+47
*	Embrace WHNF	Nadrieril	2019-04-19	1	-79/+77
*	Handle RecordLits fully semantically	Nadrieril	2019-04-19	1	-16/+28
*	Split function in two phases	Nadrieril	2019-04-19	1	-12/+24
*	Values carry their evaluation context	Nadrieril	2019-04-19	1	-28/+20
*	A union constructor is a purely semantic value	Nadrieril	2019-04-19	1	-32/+123
*	Store Values in the context	Nadrieril	2019-04-19	1	-10/+36
*	Introduce closures	Nadrieril	2019-04-19	1	-62/+120
*	Type aliases	Nadrieril	2019-04-19	1	-10/+13
*	Make App() only store one argument	Nadrieril	2019-04-19	4	-119/+76
*	A partially applied builtin is a value	Nadrieril	2019-04-19	1	-27/+42
*	Start separating normalized values from syntactic expressions	Nadrieril	2019-04-19	2	-121/+179
*	Label is redundant in EnvItem::Skip	Nadrieril	2019-04-18	2	-30/+27
*	Use a context for substitution in normalization	Nadrieril	2019-04-18	1	-109/+177
*	subst_shift in a single pass	Nadrieril	2019-04-18	1	-10/+7
*	Make normalize manipulate SubExprs more directly	Nadrieril	2019-04-18	1	-12/+12
*	Remove obsolete dhall_expr!() macro	Nadrieril	2019-04-18	2	-23/+23
*	Remove more duplication	Nadrieril	2019-04-18	5	-19/+17
*	Start cleaning up the mess of mapping functions	Nadrieril	2019-04-18	1	-1/+0
*	Normalize union constructors	Nadrieril	2019-04-17	1	-4/+22
*	Add typecheck failure tests	Nadrieril	2019-04-16	1	-7/+82
*	Update dhall-lang submodule	Nadrieril	2019-04-16	1	-0/+1
*	Handle nullary union variants	Nadrieril	2019-04-16	2	-6/+6
*	Prepare for nullary union variants	Nadrieril	2019-04-16	2	-10/+58
*	Improve test error ergonomics	Nadrieril	2019-04-16	1	-2/+8
*	Fix union constructor typechecking	Nadrieril	2019-04-16	1	-17/+24
*	Typecheck union constructor	Nadrieril	2019-04-16	1	-6/+15
*	Typecheck unions	Nadrieril	2019-04-16	1	-16/+26
*	Typecheck higher-kinded records	Nadrieril	2019-04-16	1	-21/+33
*	Remove one more instance of duplicate typechecking	Nadrieril	2019-04-16	2	-1/+16
*	Remove higher-kinded type noise in Type	Nadrieril	2019-04-16	4	-42/+67
*	Revert "Preserve notes when normalizing"	Nadrieril	2019-04-16	1	-13/+6
*	Preserve notes when normalizing	Nadrieril	2019-04-16	1	-6/+13
*	Naming tweaks	Nadrieril	2019-04-16	2	-12/+12
*	Avoid some work duplication in typechecking	Nadrieril	2019-04-16	2	-51/+56
*	Merge pull request #75 from basile-henry/import-cycles	Nadrieril Feneanar	2019-04-15	1	-6/+32
\|\
\| *	Error on import cycles	Basile Henry	2019-04-15	1	-6/+32
* \|	Handle empty optionals correctly	Nadrieril	2019-04-15	4	-3/+19
\|/
*	rustfmt	Nadrieril	2019-04-15	1	-4/+4
*	Namespace deserialization functions in a `de` submodule	Nadrieril	2019-04-14	3	-42/+46
*	clippy	Nadrieril	2019-04-14	5	-17/+15
*	Add import tests	Nadrieril	2019-04-14	2	-0/+40
*	Naming nitpick	Nadrieril	2019-04-14	1	-5/+5
*	Cache imports	Basile Henry	2019-04-14	1	-12/+34
*	Transform more mapping functions to use the Visitor trait	Nadrieril	2019-04-14	1	-1/+1