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

	Commit message (Expand)	Author	Age	Files	Lines
*	Move "Type error" error prefix	Nadrieril	2019-11-11	1	-7/+11
*	Display first pretty type error	Nadrieril	2019-11-11	1	-4/+4
*	Implement basicest Display for TypeError	Nadrieril	2019-11-11	1	-43/+18
*	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	1	-4/+4
*	Enforce type information almost everywhere	Nadrieril	2019-08-25	1	-1/+0
*	Standardize records of mixed kinds	Nadrieril	2019-08-20	1	-2/+0
*	Reuse work to avoid complicated recursion in record merging	Nadrieril	2019-08-20	1	-1/+0
*	Merge TypedValue and Value	Nadrieril	2019-08-19	1	-27/+27
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	1	-27/+28
*	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	2019-08-19	1	-10/+10
*	Implement inline headers parsing	Nadrieril	2019-08-13	1	-4/+4
*	Add new error type for serde_dhall	Nadrieril	2019-08-13	1	-12/+0
*	Move api into its own crate	Nadrieril	2019-08-13	1	-0/+10
*	Add support for dependent types	Nadrieril	2019-08-08	1	-2/+4
*	Add some new tests and implement import alternatives	Nadrieril	2019-08-06	1	-1/+1
*	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	1	-1/+1
\|\
\| *	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine	FintanH	2019-08-03	1	-1/+1
\| \|\
\| * \|	Add the typechecking of RecursiveRecordMerge.	FintanH	2019-08-01	1	-0/+3
* \| \|	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	1	-0/+2
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	2019-07-31	1	-0/+2
\| \|/
* /	Add typechecking for RecursiveRecordTypeMerge.	FintanH	2019-08-01	1	-0/+3
\|/
*	Implement binary encoding	Nadrieril	2019-05-12	1	-0/+12
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-0/+1
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-0/+2
*	Typecheck record projection	Nadrieril	2019-05-08	1	-0/+2
*	Typecheck merge	Nadrieril	2019-05-08	1	-0/+7
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	1	-6/+0
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-1/+1
*	Consolidate errors in the error module	Nadrieril	2019-05-06	35	-0/+1934