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

	Commit message (Expand)	Author	Age	Files	Lines
*	Unify `skip_resolve_expr` with normal resolution	Nadrieril	2020-12-07	1	-2/+2
*	Pass import results via the global context	Nadrieril	2020-12-07	1	-6/+7
*	Thread cx everywhere else imports are read	Nadrieril	2020-12-07	1	-9/+11
*	Thread cx through normalization	Nadrieril	2020-12-07	1	-19/+23
*	Thread cx through typecheck	Nadrieril	2020-12-07	1	-3/+6
*	Check code hashes in import	Nadrieril	2020-04-05	1	-0/+4
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	1	-4/+4
*	Nir::normalize isn't useful	Nadrieril	2020-03-31	1	-6/+0
*	Remove top-level Expr aliases	Nadrieril	2020-03-31	1	-9/+5
*	Run clippy	Nadrieril	2020-03-17	1	-3/+3
*	Implement `as Location` imports	Nadrieril	2020-03-05	1	-0/+3
*	Avoid re-typechecking after import	Nadrieril	2020-02-19	1	-1/+6
*	Discard import headers while we don't use them	Nadrieril	2020-02-18	1	-9/+1
*	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
*	Move hir and resolve into a module	Nadrieril	2020-02-17	1	-0/+130