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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Refer to semantics module properly	Nadrieril	2019-12-15	1	-3/+3
\|
*	Reexport dhall_syntax as a module in dhall	Nadrieril	2019-12-15	1	-1/+1
\|
*	Update rust toolchain	Nadrieril	2019-11-11	1	-2/+0
\|
*	Cleanup conversion of `Value` to `Expr`	Nadrieril	2019-08-30	1	-1/+1
\|
*	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	1	-2/+2
\| \| \| \|	For clarity, and consistency with Value
*	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
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	1	-3/+3
\|
*	Rework API to resemble that of serde_json	Nadrieril	2019-08-13	1	-91/+109
\|
*	Merge `Type` and `Value` in serde_dhall	Nadrieril	2019-08-13	1	-55/+32
\| \| \| \|	There was no point in separating them
*	Add new error type for serde_dhall	Nadrieril	2019-08-13	1	-8/+50
\|
*	Move api into its own crate	Nadrieril	2019-08-13	1	-0/+264