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	4	-35/+34
\| * \|	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	5	-76/+153
\| * \|	Naming tweaks	Nadrieril	2019-08-20	5	-45/+35
\| * \|	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
* \|	Merge pull request #104 from Nadrieril/rework-value	Nadrieril Feneanar	2019-08-20	16	-1963/+1501
\|\ \
\| * \|	Cleanup	Nadrieril	2019-08-20	5	-52/+65
\| * \|	Standardize records of mixed kinds	Nadrieril	2019-08-20	3	-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	8	-372/+245
\| * \|	Reduce untyped construction of Values	Nadrieril	2019-08-19	6	-115/+115
\| * \|	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	9	-339/+260
\| * \|	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	5	-78/+86
\| * \|	s/Thunk/Value/	Nadrieril	2019-08-17	9	-933/+936
\| * \|	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	8	-339/+345
\| * \|	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	4	-41/+57
\| * \|	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	8	-115/+29
\| * \|	Typecheck before normalizing in tests	Nadrieril	2019-08-16	3	-17/+21
\| * \|	Avoid capture when typechecking union constructor	Nadrieril	2019-08-16	1	-2/+1
\|/ /
* \|	Reduce api surface of dhall crate	Nadrieril	2019-08-16	11	-106/+92
* \|	dhall_proc_macros actually does not depend on dhall_syntax anymore	Nadrieril	2019-08-16	3	-3/+0
* \|	Use `!` type instead of custom empty type	Nadrieril	2019-08-16	5	-18/+9
* \|	rustfmt	Nadrieril	2019-08-15	1	-2/+1
* \|	Disable some unused unstable features	Nadrieril	2019-08-15	6	-12/+4
* \|	Fix variable substitution	Nadrieril	2019-08-15	1	-4/+2
* \|	Merge pull request #103 from Nadrieril/precedence-climbing	Nadrieril Feneanar	2019-08-15	5	-199/+229
\|\ \
\| * \|	Include precedence parsing in parser macros	Nadrieril	2019-08-15	2	-133/+188
\| * \|	No need for manual stack handling in parser anymore	Nadrieril	2019-08-15	1	-142/+96
\| * \|	Use precedence climbing to parse expressions with operators	Nadrieril	2019-08-15	4	-126/+147
\|/ /
* \|	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
* \|	Merge pull request #102 from Nadrieril/inline-headers	Nadrieril Feneanar	2019-08-14	17	-498/+343
\|\ \
\| * \|	Implement inline headers parsing	Nadrieril	2019-08-13	10	-117/+119
\| * \|	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	4	-29/+58