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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Move type construction fns from serde_dhall to dhall	Nadrieril	2019-08-20	1	-26/+6
\|
*	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	1	-2/+6
\|
*	Naming tweaks	Nadrieril	2019-08-20	1	-4/+2
\|
*	Merge TypedValue and Value	Nadrieril	2019-08-19	1	-18/+13
\|
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	1	-7/+2
\|
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	1	-5/+5
\| \| \| \| \|	Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
*	s/Thunk/Value/	Nadrieril	2019-08-17	1	-8/+9
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	1	-2/+2
\|
*	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	1	-9/+15
\|
*	Remove dead code	Nadrieril	2019-08-16	1	-1/+2
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	1	-8/+6
\| \| \| \|	Helps detect unused code
*	Disable some unused unstable features	Nadrieril	2019-08-15	1	-1/+0
\|
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	1	-3/+6
\|
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	1	-3/+3
\|
*	Rework API to resemble that of serde_json	Nadrieril	2019-08-13	3	-96/+115
\|
*	Merge `Type` and `Value` in serde_dhall	Nadrieril	2019-08-13	3	-70/+47
\| \| \| \|	There was no point in separating them
*	Add new error type for serde_dhall	Nadrieril	2019-08-13	2	-19/+51
\|
*	Move api into its own crate	Nadrieril	2019-08-13	5	-0/+507