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

	Commit message (Expand)	Author	Age	Files	Lines
*	Rework normalization to reduce expensive Value copying	Nadrieril	2019-05-03	1	-457/+494
*	Apply builtin arguments lazily	Nadrieril	2019-05-03	1	-143/+165
*	Avoid unnecessary RefCell::borrow_mut	Nadrieril	2019-05-03	1	-6/+33
*	Update normalization tests	Nadrieril	2019-05-02	1	-11/+12
*	Update dhall-lang submodule	Nadrieril	2019-05-02	1	-16/+25
*	Remove shift0	Nadrieril	2019-05-02	1	-18/+21
*	Instead of possibly nonexistent Type, treat Sort specially	Nadrieril	2019-05-02	1	-25/+25
*	Store Thunk in Normalized	Nadrieril	2019-05-02	1	-5/+10
*	Tweaks	Nadrieril	2019-05-02	1	-45/+39
*	Fix NF tracking error	Nadrieril	2019-04-30	1	-2/+3
*	Fix shifting. This completely destroys sharing so performance is dead.	Nadrieril	2019-04-30	1	-3/+7
*	Lazily process unnormalizable expression	Nadrieril	2019-04-30	1	-9/+36
*	Avoid some rewrapping of thunks	Nadrieril	2019-04-30	1	-34/+49
*	Mutate thunk contents directly if sole owner	Nadrieril	2019-04-30	1	-2/+8
*	Normalize mutably	Nadrieril	2019-04-30	1	-30/+120
*	Don't borrow from thunk more than necessary	Nadrieril	2019-04-30	1	-0/+4
*	Pass references when possible	Nadrieril	2019-04-30	1	-64/+87
*	Merge Typed and PartiallyNormalized	Nadrieril	2019-04-30	1	-42/+32
*	Store a Thunk in Typed	Nadrieril	2019-04-30	1	-19/+5
*	Store thunks in the normalization context	Nadrieril	2019-04-30	1	-12/+13
*	Store thunks behind Rc<RefCell<_>> to ensure minimal computation	Nadrieril	2019-04-30	1	-77/+159
*	Remove NF/WHNF distinction at runtime	Nadrieril	2019-04-29	1	-93/+72
*	Make NF and WHNF custom types instead of aliases	Nadrieril	2019-04-29	1	-3/+5
*	Don't shift by mutable ref	Nadrieril	2019-04-29	1	-93/+106
*	Store thunk in Value::Lambda	Nadrieril	2019-04-29	1	-19/+17
*	Allow representing normal form as a semantic value	Nadrieril	2019-04-29	1	-226/+340
*	Properly substitute when typing App	Nadrieril	2019-04-29	1	-12/+173
*	Use PartiallyNormalized throughout typechecking	Nadrieril	2019-04-28	1	-4/+8
*	Move Pi to WHNF	Nadrieril	2019-04-27	1	-0/+10
*	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	2019-04-27	1	-4/+17
*	Store thunks uniformly in WHNF	Nadrieril	2019-04-27	1	-59/+42
*	Abstract out thunks in type position	Nadrieril	2019-04-27	1	-22/+64
*	Rename Now to Thunk	Nadrieril	2019-04-27	1	-45/+44
*	Define new intermediate expression type	Nadrieril	2019-04-27	1	-19/+36
*	Using only shift0 was not such a great idea	Nadrieril	2019-04-27	1	-23/+19
*	Respect import boundary in normalization	Nadrieril	2019-04-25	1	-1/+3
*	Store context in Typed	Nadrieril	2019-04-22	1	-14/+7
*	Avoid shift_subst in typecheck	Nadrieril	2019-04-22	1	-1/+15
*	Prepare for interop between two contexts	Nadrieril	2019-04-21	1	-17/+37
*	Embrace TypeInternal as a semantic value	Nadrieril	2019-04-21	1	-0/+1
*	An empty optional value is purely semantic	Nadrieril	2019-04-20	1	-8/+5
*	Implement more normalization simplifications	Nadrieril	2019-04-20	1	-9/+16
*	shift by mutable ref to avoid reallocations	Nadrieril	2019-04-20	1	-80/+71
*	Tweaks	Nadrieril	2019-04-20	1	-5/+6
*	AppliedBuiltin does not need a context	Nadrieril	2019-04-20	1	-25/+23
*	Avoid a lot of unnecessary cloning in apply_builtin	Nadrieril	2019-04-20	1	-126/+183
*	Cleanup	Nadrieril	2019-04-20	1	-166/+144
*	Swap import	Nadrieril	2019-04-20	1	-62/+54
*	Remove last remnant of expr building	Nadrieril	2019-04-20	1	-12/+29
*	Introduce special closures to avoid constructing exprs	Nadrieril	2019-04-20	1	-34/+67