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

	Commit message (Expand)	Author	Age	Files	Lines
*	Use Normalized in serde_dhall	Nadrieril	2020-01-29	1	-11/+11
*	release	Nadrieril	2020-01-16	1	-1/+1
*	Deserialize more types	Nadrieril	2020-01-16	3	-21/+121
*	Improve serde_dhall docs greatly	Nadrieril	2020-01-16	1	-50/+86
*	Release new version	Nadrieril	2019-12-24	1	-1/+1
*	Prepare for publishing on crates.io	Nadrieril	2019-12-21	1	-0/+1
*	Seal `Deserialize` trait	Nadrieril	2019-12-20	2	-2/+9
*	s/ExprF/ExprKind/	Nadrieril	2019-12-20	1	-2/+2
*	Move error module to root of crate	Nadrieril	2019-12-20	1	-2/+2
*	Refer to semantics module properly	Nadrieril	2019-12-15	2	-4/+4
*	Reexport dhall_syntax as a module in dhall	Nadrieril	2019-12-15	3	-3/+3
*	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	2	-4/+4
*	clippy	Nadrieril	2019-08-27	1	-14/+18
*	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
*	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
*	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	2	-92/+111
*	Merge `Type` and `Value` in serde_dhall	Nadrieril	2019-08-13	2	-68/+45
*	Add new error type for serde_dhall	Nadrieril	2019-08-13	2	-19/+51
*	Move api into its own crate	Nadrieril	2019-08-13	3	-0/+427