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

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Temporarily simplify functions depending on TypeInternal	Nadrieril	2019-04-22	3	-41/+35
*	Pass through new TypedImproved type	Nadrieril	2019-04-22	1	-25/+92
*	Store context in Typed	Nadrieril	2019-04-22	3	-33/+39
*	Avoid shift_subst in typecheck	Nadrieril	2019-04-22	2	-32/+40
*	Prepare for interop between two contexts	Nadrieril	2019-04-21	3	-25/+91
*	Factor out context handling	Nadrieril	2019-04-21	2	-19/+34
*	Embrace TypeInternal as a semantic value	Nadrieril	2019-04-21	4	-9/+25
*	Move TypeInternal to typecheck	Nadrieril	2019-04-20	2	-23/+31
*	Improve test failure ergonomics	Nadrieril	2019-04-20	1	-10/+5
*	An empty optional value is purely semantic	Nadrieril	2019-04-20	3	-16/+7
*	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
*	Avoid a lot of slow Expr costruction	Nadrieril	2019-04-20	1	-73/+52
*	Formatting	Nadrieril	2019-04-20	1	-153/+152
*	Remove WHNF/Closure distinction	Nadrieril	2019-04-20	1	-132/+113
*	Refcount contexts to avoid clones	Nadrieril	2019-04-20	1	-40/+40
*	Rewrite apply_builtin to work on WHNFs	Nadrieril	2019-04-20	1	-152/+160
*	More cleanup	Nadrieril	2019-04-20	1	-125/+51
*	Cleanup leftover normalization code	Nadrieril	2019-04-20	1	-58/+10
*	Text interpolation	Nadrieril	2019-04-20	1	-15/+31
*	Text literals	Nadrieril	2019-04-20	1	-1/+52
*	Improve WHNF ergonomics	Nadrieril	2019-04-20	1	-104/+135
*	Simplify apply_builtin	Nadrieril	2019-04-20	1	-111/+69
*	Optionals and unions	Nadrieril	2019-04-20	1	-24/+96
*	Natural literals and simplifications	Nadrieril	2019-04-19	1	-14/+32
*	Implement boolean simplifications	Nadrieril	2019-04-19	1	-24/+31
*	Boolean literals	Nadrieril	2019-04-19	1	-10/+34
*	List literals	Nadrieril	2019-04-19	1	-7/+47
*	Embrace WHNF	Nadrieril	2019-04-19	1	-79/+77
*	Handle RecordLits fully semantically	Nadrieril	2019-04-19	1	-16/+28
*	Split function in two phases	Nadrieril	2019-04-19	1	-12/+24