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

	Commit message (Expand)	Author	Files	Lines
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