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

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