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

	Commit message (Expand)	Author	Age	Files	Lines
*	Store Thunk in Normalized	Nadrieril	2019-05-02	5	-41/+44
*	Tweaks	Nadrieril	2019-05-02	3	-76/+78
*	Remove now useless TypedOrType type	Nadrieril	2019-04-30	1	-86/+34
*	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	2	-36/+51
*	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	2	-37/+62
*	Pass references when possible	Nadrieril	2019-04-30	3	-90/+121
*	Merge Typed and PartiallyNormalized	Nadrieril	2019-04-30	3	-124/+94
*	Store a Thunk in Typed	Nadrieril	2019-04-30	4	-40/+22
*	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	2	-81/+160
*	Remove NF/WHNF distinction at runtime	Nadrieril	2019-04-29	3	-100/+79
*	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	3	-249/+368
*	Don't need to store original expression in TypeError	Nadrieril	2019-04-29	2	-59/+14
*	Properly substitute when typing App	Nadrieril	2019-04-29	2	-57/+218
*	Use PartiallyNormalized throughout typechecking	Nadrieril	2019-04-28	3	-93/+95
*	Move Pi to WHNF	Nadrieril	2019-04-27	2	-36/+51
*	Builtins	Nadrieril	2019-04-27	2	-30/+11
*	Replace TypeInternal::UnionType with WHNF::UnionType	Nadrieril	2019-04-27	1	-23/+23
*	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	2019-04-27	2	-32/+68
*	Rework TypeInternal	Nadrieril	2019-04-27	1	-83/+72
*	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	2	-19/+43
*	Using only shift0 was not such a great idea	Nadrieril	2019-04-27	1	-23/+19
*	Lists and Optionals	Nadrieril	2019-04-26	1	-42/+94
*	ensure_is_const is not that helpful	Nadrieril	2019-04-26	1	-59/+35
*	Union types	Nadrieril	2019-04-26	1	-66/+117
*	Respect import boundary in normalization	Nadrieril	2019-04-25	1	-1/+3
*	Fix shifting again	Nadrieril	2019-04-25	1	-13/+9
*	Now I can use TypeInternal::RecordType fully	Nadrieril	2019-04-25	1	-11/+10
*	Revert "Try property testing against reference implementation"	Nadrieril	2019-04-25	1	-133/+0
*	Try property testing against reference implementation	Nadrieril	2019-04-25	1	-0/+133
*	Correctly shift values before inserting into context	Nadrieril	2019-04-25	1	-4/+7
*	normalize_to_type can use the captured context	Nadrieril	2019-04-25	1	-14/+14
*	RecordTypes	Nadrieril	2019-04-23	1	-62/+108
*	Fix shifting under Pi	Nadrieril	2019-04-23	1	-13/+29
*	Silence warnings	Nadrieril	2019-04-23	2	-0/+5
*	Avoid duplicating TypeInternal in TypedImproved	Nadrieril	2019-04-23	1	-44/+40
*	Avoid constructing ExprF::Pi while typechecking	Nadrieril	2019-04-23	1	-57/+93
*	Avoid duplicating work when matching on Pi types	Nadrieril	2019-04-23	5	-40/+118
*	Pass TypedImproved directly to type_last_layer	Nadrieril	2019-04-23	1	-40/+55