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

	Commit message (Expand)	Author	Age	Files	Lines
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	1	-5/+5
*	Rename LitKind to NumKind	Nadrieril	2020-03-31	1	-3/+3
*	Remove more unnecessary parens in printer	Nadrieril	2020-03-20	1	-2/+2
*	Remove never_type feature	Nadrieril	2020-03-17	1	-2/+4
*	Implement some normalization simplifications	Nadrieril	2020-03-05	1	-1/+1
*	Normalization for ProjectionByExpr	Basile Henry	2020-03-02	1	-1/+1
*	Add support for duplicate record fields	Nadrieril	2020-02-20	1	-1/+3
*	Expose fewer pub things	Nadrieril	2020-02-19	1	-16/+3
*	Start requiring Universe to build a Type	Nadrieril	2020-02-16	1	-0/+7
*	Introduce LitKind to factor out common enum nodes	Nadrieril	2020-02-11	1	-8/+14
*	Simplify ExprKind visitor	Nadrieril	2020-02-11	1	-2/+2
*	Remove the Embed variant from ExprKind	Nadrieril	2020-02-11	1	-39/+19
*	Resolve by ref instead of by mut	Nadrieril	2020-02-09	1	-49/+4
*	Fix spans for unions and records	Nadrieril	2020-02-02	1	-0/+6
*	Cleanup variable handling	Nadrieril	2020-01-29	1	-11/+5
*	Finally get rid of all of the shift/subst_shift !	Nadrieril	2020-01-29	1	-22/+0
*	Remove dead code	Nadrieril	2020-01-29	1	-4/+0
*	Add Expr visitor and improve tyexpr_to_expr	Nadrieril	2020-01-18	1	-14/+33
*	Introduce intermediate representation that stores typed expr	Nadrieril	2020-01-18	1	-1/+1
*	Replace all bulk shifting by a single shift	Nadrieril	2020-01-17	1	-26/+0
*	Implement bulk shifting	Nadrieril	2020-01-17	1	-4/+29
*	Simplify Shift and Subst instances	Nadrieril	2020-01-17	1	-3/+0
*	Remove binder ids	Nadrieril	2020-01-17	1	-0/+9
*	Implement traverse_ref for ValueKind	Nadrieril	2020-01-17	1	-1/+1
*	Add two new Integer builtins	Nadrieril	2019-12-23	1	-0/+2
*	Implement parsing for record completion	Nadrieril	2019-12-22	1	-0/+2
*	Remove Expr::as_mut	Nadrieril	2019-12-20	1	-9/+6
*	s/RawExpr/UnspannedExpr/	Nadrieril	2019-12-20	1	-5/+5
*	Use a named struct instead of a tuple in Expr	Nadrieril	2019-12-20	1	-10/+19
*	Remove an unused impl	Nadrieril	2019-12-20	1	-7/+1
*	Reorganize ast::expr	Nadrieril	2019-12-20	1	-75/+76
*	s/ExprF/ExprKind/	Nadrieril	2019-12-20	1	-12/+12
*	Rename syntax::core to syntax::ast	Nadrieril	2019-12-19	1	-0/+377