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

	Commit message (Expand)	Author	Age	Files	Lines
*	Use Ret in apply_builtin	Nadrieril	2019-08-20	2	-96/+101
*	Propagate type information in Value::app()	Nadrieril	2019-08-20	3	-35/+33
*	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	3	-68/+80
*	No need for Cow in return type of get_type	Nadrieril	2019-08-20	4	-27/+24
*	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	4	-74/+147
*	Naming tweaks	Nadrieril	2019-08-20	4	-41/+33
*	Add Value::from_builtin	Nadrieril	2019-08-20	3	-37/+24
*	Clarify conversion of Const/Builtin to Value	Nadrieril	2019-08-20	2	-21/+29
*	Cleanup	Nadrieril	2019-08-20	5	-52/+65
*	Standardize records of mixed kinds	Nadrieril	2019-08-20	2	-53/+17
*	Reuse work to avoid complicated recursion in record merging	Nadrieril	2019-08-20	3	-151/+25
*	Tweak Ok/Err handling in typecheck	Nadrieril	2019-08-20	1	-157/+128
*	Tweak Value API	Nadrieril	2019-08-19	1	-28/+19
*	Merge TypedValue and Value	Nadrieril	2019-08-19	7	-354/+232
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	5	-108/+113
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	8	-334/+255
*	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	2019-08-19	7	-192/+182
*	Merge ValueInternal and TypedValueInternal	Nadrieril	2019-08-18	1	-111/+79
*	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	2019-08-18	3	-78/+84
*	s/Thunk/Value/	Nadrieril	2019-08-17	8	-925/+927
*	Share type alongside the value in a thunk	Nadrieril	2019-08-16	2	-40/+110
*	Use generic Shift/Subst impls	Nadrieril	2019-08-16	3	-192/+186
*	Store type in Thunk	Nadrieril	2019-08-16	2	-58/+71
*	Remove Const-optimization for now	Nadrieril	2019-08-16	1	-14/+5
*	s/Value/ValueF/	Nadrieril	2019-08-16	7	-337/+343
*	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	3	-32/+42
*	fixup! No need for generic Context anymore	Nadrieril	2019-08-16	1	-1/+1
*	Free variables don't exist anymore	Nadrieril	2019-08-16	1	-21/+13
*	No need for generic Context anymore	Nadrieril	2019-08-16	1	-75/+38
*	Remove dead code	Nadrieril	2019-08-16	7	-114/+27
*	Typecheck before normalizing in tests	Nadrieril	2019-08-16	2	-16/+17
*	Avoid capture when typechecking union constructor	Nadrieril	2019-08-16	1	-2/+1
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	10	-98/+86
*	Use `!` type instead of custom empty type	Nadrieril	2019-08-16	1	-3/+3
*	rustfmt	Nadrieril	2019-08-15	1	-2/+1
*	Disable some unused unstable features	Nadrieril	2019-08-15	5	-11/+4
*	Fix variable substitution	Nadrieril	2019-08-15	1	-4/+2
*	Custom Debug impls to improve debug legibility	Nadrieril	2019-08-15	2	-3/+37
*	Remove special closures from Value	Nadrieril	2019-08-15	3	-136/+62
*	Fix bug in shifting contexts	Nadrieril	2019-08-15	1	-1/+10
*	Fix typo in normalization	Nadrieril	2019-08-14	1	-1/+1
*	Implement inline headers parsing	Nadrieril	2019-08-13	3	-39/+27
*	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	2	-23/+34
*	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	4	-13/+25
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	4	-10/+4
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	5	-30/+28
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	4	-39/+36
*	Typos	Nadrieril	2019-08-13	1	-2/+2
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	5	-86/+96
*	Swap Typed and TypeThunk	Nadrieril	2019-08-13	2	-91/+129