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

	Commit message (Expand)	Author	Files	Lines
2020-01-29	Finally get rid of all of the shift/subst_shift !	Nadrieril	1	-22/+0
2020-01-29	Remove dead code	Nadrieril	1	-4/+0
2020-01-18	Add Expr visitor and improve tyexpr_to_expr	Nadrieril	2	-46/+40
2020-01-18	Introduce intermediate representation that stores typed expr	Nadrieril	1	-1/+1
2020-01-17	Replace all bulk shifting by a single shift	Nadrieril	1	-26/+0
2020-01-17	Implement bulk shifting	Nadrieril	1	-4/+29
2020-01-17	Simplify Shift and Subst instances	Nadrieril	1	-3/+0
2020-01-17	Remove binder ids	Nadrieril	1	-0/+9
2020-01-17	Implement traverse_ref for ValueKind	Nadrieril	2	-2/+3
2020-01-16	Deserialize more types	Nadrieril	1	-0/+4
2019-12-27	Update dhall-lang submodule	Nadrieril	1	-8/+7
2019-12-24	Extend merge to work on Optionals	Nadrieril	1	-0/+9
2019-12-23	Update dhall-lang submodule	Nadrieril	1	-10/+18
2019-12-23	Update dhall-lang submodule	Nadrieril	1	-13/+10
2019-12-23	Add two new Integer builtins	Nadrieril	3	-0/+6
2019-12-22	rustfmt	Nadrieril	2	-7/+8
2019-12-22	Implement parsing for record completion	Nadrieril	6	-8/+48
2019-12-22	Update dhall-lang submodule	Nadrieril	1	-0/+2
2019-12-21	Generate parser manually to make the crate publishable	Nadrieril	1	-3/+9
2019-12-20	Simplify iterator impls for DupTreeMap	Nadrieril	1	-172/+115
2019-12-20	Use smallvec instead of custom struct	Nadrieril	1	-77/+22
2019-12-20	Fix some comments	Nadrieril	1	-2/+2
2019-12-20	Remove Expr::as_mut	Nadrieril	1	-9/+6
2019-12-20	s/RawExpr/UnspannedExpr/	Nadrieril	4	-11/+16
2019-12-20	Reorganize printer	Nadrieril	1	-135/+132
2019-12-20	Use a named struct instead of a tuple in Expr	Nadrieril	1	-10/+19
2019-12-20	Remove an unused impl	Nadrieril	1	-7/+1
2019-12-20	Reorganize ast::expr	Nadrieril	1	-75/+76
2019-12-20	s/ExprF/ExprKind/	Nadrieril	6	-58/+61
2019-12-20	Move error module to root of crate	Nadrieril	2	-2/+2
2019-12-19	Rename syntax::core to syntax::ast	Nadrieril	11	-14/+13
2019-12-19	Remove unused syntax::context module	Nadrieril	3	-82/+0
2019-12-17	Typo	Nadrieril	1	-1/+1
2019-12-17	Split binary decoding and encoding into separate files	Nadrieril	4	-319/+328
2019-12-17	Split syntax module between text and binary	Nadrieril	6	-4/+7
2019-12-17	Specialize parsing	Nadrieril	2	-87/+66
2019-12-17	Move binary encoding/decoding to syntax/	Nadrieril	2	-0/+749
2019-12-17	Move pest file generation to dhall/build.rs	Nadrieril	1	-1/+1
2019-12-15	Move contents of dhall_syntax to dhall	Nadrieril	12	-0/+3107