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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	This allows encapsulating invariants properly and reducing clutter
*	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