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

	Commit message (Expand)	Author	Files	Lines
2020-01-30	Remove Value visitor	Nadrieril	1	-167/+0
2020-01-30	Move Value-related stuff under semantics::nze	Nadrieril	1	-0/+0
2020-01-30	Introduce Thunks and normalize lazily	Nadrieril	1	-0/+1
2020-01-30	Encapsulate partially applied builtin in a separate struct	Nadrieril	1	-7/+12
2020-01-29	Cleanup variable handling	Nadrieril	1	-1/+1
2020-01-29	Remove dead code	Nadrieril	1	-8/+0
2020-01-28	Thread env through nztion to fix Foo/build closures	Nadrieril	1	-3/+6
2020-01-24	Restore all types in Value::to_tyexpr	Nadrieril	1	-6/+10
2020-01-23	Implement basic env-based normalization for Value-based TyExpr	Nadrieril	1	-0/+18
2020-01-21	Prepare Value for reverse variables	Nadrieril	1	-1/+1
2020-01-19	Restore more types in value_to_tyexpr	Nadrieril	1	-5/+9
2020-01-17	Implement bulk shifting	Nadrieril	1	-10/+16
2020-01-17	Introduce a notion of binder	Nadrieril	1	-4/+4
2020-01-17	Implement traverse_ref for ValueKind	Nadrieril	1	-0/+134