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

	Commit message (Expand)	Author	Files	Lines
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
2019-04-20	More cleanup	Nadrieril	1	-125/+51
2019-04-20	Cleanup leftover normalization code	Nadrieril	1	-58/+10
2019-04-20	Text interpolation	Nadrieril	1	-15/+31
2019-04-20	Text literals	Nadrieril	1	-1/+52
2019-04-20	Improve WHNF ergonomics	Nadrieril	1	-104/+135
2019-04-20	Simplify apply_builtin	Nadrieril	1	-111/+69
2019-04-20	Optionals and unions	Nadrieril	1	-24/+96
2019-04-19	Natural literals and simplifications	Nadrieril	1	-14/+32
2019-04-19	Implement boolean simplifications	Nadrieril	1	-24/+31
2019-04-19	Boolean literals	Nadrieril	1	-10/+34
2019-04-19	List literals	Nadrieril	1	-7/+47
2019-04-19	Embrace WHNF	Nadrieril	1	-79/+77
2019-04-19	Handle RecordLits fully semantically	Nadrieril	1	-16/+28
2019-04-19	Split function in two phases	Nadrieril	1	-12/+24
2019-04-19	Values carry their evaluation context	Nadrieril	1	-28/+20
2019-04-19	A union constructor is a purely semantic value	Nadrieril	1	-32/+123
2019-04-19	Store Values in the context	Nadrieril	1	-10/+36
2019-04-19	Introduce closures	Nadrieril	1	-62/+120
2019-04-19	Type aliases	Nadrieril	1	-10/+13
2019-04-19	Make App() only store one argument	Nadrieril	1	-64/+52
2019-04-19	A partially applied builtin is a value	Nadrieril	1	-27/+42
2019-04-19	Start separating normalized values from syntactic expressions	Nadrieril	1	-121/+178
2019-04-18	Label is redundant in EnvItem::Skip	Nadrieril	1	-28/+24
2019-04-18	Use a context for substitution in normalization	Nadrieril	1	-109/+177
2019-04-18	Make normalize manipulate SubExprs more directly	Nadrieril	1	-12/+12
2019-04-18	Remove obsolete dhall_expr!() macro	Nadrieril	1	-9/+9
2019-04-18	Remove more duplication	Nadrieril	1	-10/+8
2019-04-18	Start cleaning up the mess of mapping functions	Nadrieril	1	-1/+0
2019-04-17	Normalize union constructors	Nadrieril	1	-4/+22
2019-04-16	Update dhall-lang submodule	Nadrieril	1	-0/+1
2019-04-16	Handle nullary union variants	Nadrieril	1	-5/+5
2019-04-16	Revert "Preserve notes when normalizing"	Nadrieril	1	-13/+6
2019-04-16	Preserve notes when normalizing	Nadrieril	1	-6/+13
2019-04-16	Naming tweaks	Nadrieril	1	-10/+10
2019-04-15	Handle empty optionals correctly	Nadrieril	1	-0/+2
2019-04-14	clippy	Nadrieril	1	-1/+1
2019-04-14	Transform more mapping functions to use the Visitor trait	Nadrieril	1	-1/+1
2019-04-14	Fix a tiny normalization bug	Nadrieril	1	-1/+1
2019-04-12	Restrict public API to its most minimal expression	Nadrieril	1	-0/+1
2019-04-11	Thread lifetimes through other newtypes	Nadrieril	1	-8/+12
2019-04-11	Respect import boundaries	Nadrieril	1	-23/+24