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

	Commit message (Expand)	Author	Age	Files	Lines
*	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	2	-19/+35
*	Text literals	Nadrieril	2019-04-20	2	-3/+66
*	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
*	Values carry their evaluation context	Nadrieril	2019-04-19	1	-28/+20
*	A union constructor is a purely semantic value	Nadrieril	2019-04-19	4	-47/+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	9	-136/+83
*	A partially applied builtin is a value	Nadrieril	2019-04-19	1	-27/+42
*	Start separating normalized values from syntactic expressions	Nadrieril	2019-04-19	2	-121/+179
*	Label is redundant in EnvItem::Skip	Nadrieril	2019-04-18	3	-32/+31
*	Use a context for substitution in normalization	Nadrieril	2019-04-18	2	-110/+184
*	subst_shift in a single pass	Nadrieril	2019-04-18	3	-15/+78
*	Make normalize manipulate SubExprs more directly	Nadrieril	2019-04-18	1	-12/+12
*	Remove obsolete dhall_expr!() macro	Nadrieril	2019-04-18	4	-37/+39
*	Merge branch 'cleanup_map_mess'	Nadrieril	2019-04-18	9	-300/+397
\|\
\| *	Use argument-position impl trait for mapping functions	Nadrieril	2019-04-18	1	-87/+39
\| *	Remove more duplication	Nadrieril	2019-04-18	8	-85/+55
\| *	Avoid an unnecessary unroll()	Nadrieril	2019-04-18	2	-27/+52
\| *	Add even more general visitor trait	Nadrieril	2019-04-18	1	-55/+140
\| *	Reduce duplication between mapping functions	Nadrieril	2019-04-18	3	-60/+35
\| *	Deprecate some things	Nadrieril	2019-04-18	2	-21/+6
\| *	Merge impl blocks	Nadrieril	2019-04-18	1	-106/+104
\| *	Consistent type variable naming	Nadrieril	2019-04-18	1	-33/+34
\| *	Start cleaning up the mess of mapping functions	Nadrieril	2019-04-18	4	-26/+132
\|/
*	Simplify implementation of shift and subst_shift	Nadrieril	2019-04-18	1	-27/+31
*	Normalize union constructors	Nadrieril	2019-04-17	4	-8/+41
*	rustfmt	Nadrieril	2019-04-16	1	-1/+2
*	Add typecheck failure tests	Nadrieril	2019-04-16	1	-7/+82
*	Update dhall-lang submodule	Nadrieril	2019-04-16	4	-7/+14
*	Tiny rename to save myself a lot of pain	Nadrieril	2019-04-16	3	-29/+34
*	Handle nullary union variants	Nadrieril	2019-04-16	3	-7/+14
*	Prepare for nullary union variants	Nadrieril	2019-04-16	8	-71/+163
*	Improve test error ergonomics	Nadrieril	2019-04-16	1	-2/+8
*	Fix union constructor typechecking	Nadrieril	2019-04-16	2	-17/+30
*	Typecheck union constructor	Nadrieril	2019-04-16	1	-6/+15
*	Typecheck unions	Nadrieril	2019-04-16	1	-16/+26