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

	Commit message (Expand)	Author	Age	Files	Lines
*	Introduce option builder	Nadrieril	2020-03-31	1	-3/+3
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	1	-3/+3
*	Nir::normalize isn't useful	Nadrieril	2020-03-31	1	-7/+0
*	Improve handling of builtin types in Nir	Nadrieril	2020-03-31	1	-14/+17
*	Remove top-level Expr aliases	Nadrieril	2020-03-31	1	-2/+1
*	Rename LitKind to NumKind	Nadrieril	2020-03-31	1	-27/+27
*	Run clippy	Nadrieril	2020-03-17	1	-3/+3
*	Rename Value to Nir	Nadrieril	2020-02-17	1	-59/+59
*	Introduce LitKind to factor out common enum nodes	Nadrieril	2020-02-11	1	-56/+63
*	Remove the Embed variant from ExprKind	Nadrieril	2020-02-11	1	-1/+1
*	Remove types from NzEnv	Nadrieril	2020-02-09	1	-2/+5
*	Remove all types from Value	Nadrieril	2020-02-09	1	-11/+3
*	Take Hir for typecheck	Nadrieril	2020-02-09	1	-5/+7
*	Remove extra types stored in Value	Nadrieril	2020-02-09	1	-22/+6
*	Remove most TyExpr from normalization	Nadrieril	2020-02-09	1	-9/+5
*	Remove move type propagation through Value	Nadrieril	2020-02-09	1	-31/+10
*	Normalize toMap	Nadrieril	2020-02-05	1	-10/+5
*	Use OnceCell to enable returning &ValKind	Nadrieril	2020-01-30	1	-3/+3
*	Clarify normalization to ensure we only nze once	Nadrieril	2020-01-30	1	-4/+3
*	Factor out text literals in Value	Nadrieril	2020-01-30	1	-44/+23
*	Remove type parameter from ValueKind	Nadrieril	2020-01-30	1	-9/+4
*	Move main API to lib.rs	Nadrieril	2020-01-30	1	-1/+1
*	Introduce Thunks and normalize lazily	Nadrieril	2020-01-30	1	-1/+1
*	s/as_whnf/kind/	Nadrieril	2020-01-30	1	-20/+20
*	Encapsulate partially applied builtin in a separate struct	Nadrieril	2020-01-30	1	-3/+77
*	No need for the current env to tck Foo/build closures	Nadrieril	2020-01-30	1	-5/+1
*	Clean imports	Nadrieril	2020-01-30	1	-7/+8
*	Actually, no need for keeping extra args in apply_builtin	Nadrieril	2020-01-30	1	-25/+10
*	Move builtins-related code to its own module	Nadrieril	2020-01-30	1	-0/+511