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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implement once nice error using annotate_snippets	Nadrieril	2020-02-01	1	-0/+30
\|
*	Move parser files to syntax/	Nadrieril	2020-01-30	2	-0/+190
\|
*	Move main API to lib.rs	Nadrieril	2020-01-30	2	-2/+2
\|
*	Cleanup variable handling	Nadrieril	2020-01-29	3	-13/+7
\|
*	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	2	-46/+40
\|
*	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
\| \| \| \|	The underlying purpose of them turned out to be unsound
*	Implement traverse_ref for ValueKind	Nadrieril	2020-01-17	2	-2/+3
\|
*	Deserialize more types	Nadrieril	2020-01-16	1	-0/+4
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-27	1	-8/+7
\|
*	Extend merge to work on Optionals	Nadrieril	2019-12-24	1	-0/+9
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-10/+18
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-13/+10
\|
*	Add two new Integer builtins	Nadrieril	2019-12-23	3	-0/+6
\|
*	rustfmt	Nadrieril	2019-12-22	2	-7/+8
\|
*	Implement parsing for record completion	Nadrieril	2019-12-22	6	-8/+48
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+2
\|
*	Generate parser manually to make the crate publishable	Nadrieril	2019-12-21	1	-3/+9
\|
*	Simplify iterator impls for DupTreeMap	Nadrieril	2019-12-20	1	-172/+115
\|
*	Use smallvec instead of custom struct	Nadrieril	2019-12-20	1	-77/+22
\|
*	Fix some comments	Nadrieril	2019-12-20	1	-2/+2
\|
*	Remove Expr::as_mut	Nadrieril	2019-12-20	1	-9/+6
\|
*	s/RawExpr/UnspannedExpr/	Nadrieril	2019-12-20	4	-11/+16
\|
*	Reorganize printer	Nadrieril	2019-12-20	1	-135/+132
\|
*	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	6	-58/+61
\|
*	Move error module to root of crate	Nadrieril	2019-12-20	2	-2/+2
\|
*	Rename syntax::core to syntax::ast	Nadrieril	2019-12-19	11	-14/+13
\|
*	Remove unused syntax::context module	Nadrieril	2019-12-19	3	-82/+0
\|
*	Typo	Nadrieril	2019-12-17	1	-1/+1
\|
*	Split binary decoding and encoding into separate files	Nadrieril	2019-12-17	4	-319/+328
\|
*	Split syntax module between text and binary	Nadrieril	2019-12-17	6	-4/+7
\|
*	Specialize parsing	Nadrieril	2019-12-17	2	-87/+66
\|
*	Move binary encoding/decoding to syntax/	Nadrieril	2019-12-17	2	-0/+749
\|
*	Move pest file generation to dhall/build.rs	Nadrieril	2019-12-17	1	-1/+1
\|
*	Move contents of dhall_syntax to dhall	Nadrieril	2019-12-15	12	-0/+3107