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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Implement `as Location` imports	Nadrieril	2020-03-05	2	-30/+102
*	Avoid re-typechecking after import	Nadrieril	2020-02-19	3	-14/+21
*	Discard import headers while we don't use them	Nadrieril	2020-02-18	2	-11/+8
*	Remove useless `normalize` option from ToExprOptions	Nadrieril	2020-02-18	1	-8/+2
*	Borrow relevant Hir from Tir	Nadrieril	2020-02-18	1	-3/+17
*	Rename Value to Nir	Nadrieril	2020-02-17	1	-3/+3
*	Rename TyExpr to Tir	Nadrieril	2020-02-17	1	-2/+2
*	Factor out desugaring from resolve	Nadrieril	2020-02-17	1	-22/+31
*	Extract resolve-relevant envs together	Nadrieril	2020-02-17	3	-58/+113
*	Move hir and resolve into a module	Nadrieril	2020-02-17	4	-0/+400