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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	Fixes #81
*	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
\| \| \| \|	For clarity, and consistency with Value
*	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
\| \| \| \| \|	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
*	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
\| \| \| \|	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	3	-0/+427