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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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