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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	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
\| \| \| \|	This will be needed for the apply_builtin rewrite anyways
*	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
\|
*	Values carry their evaluation context	Nadrieril	2019-04-19	1	-28/+20
\|
*	A union constructor is a purely semantic value	Nadrieril	2019-04-19	1	-32/+123
\|
*	Store Values in the context	Nadrieril	2019-04-19	1	-10/+36
\|
*	Introduce closures	Nadrieril	2019-04-19	1	-62/+120
\|
*	Type aliases	Nadrieril	2019-04-19	1	-10/+13
\|
*	Make App() only store one argument	Nadrieril	2019-04-19	1	-64/+52
\|
*	A partially applied builtin is a value	Nadrieril	2019-04-19	1	-27/+42
\|