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

	Commit message (Expand)	Author	Files	Lines
2020-03-05	Implement some normalization simplifications	Nadrieril	1	-1/+1
2020-03-02	Normalization for ProjectionByExpr	Basile Henry	1	-1/+1
2020-02-20	Add support for duplicate record fields	Nadrieril	1	-1/+3
2020-02-19	Expose fewer pub things	Nadrieril	1	-16/+3
2020-02-16	Start requiring Universe to build a Type	Nadrieril	1	-0/+7
2020-02-11	Introduce LitKind to factor out common enum nodes	Nadrieril	1	-8/+14
2020-02-11	Simplify ExprKind visitor	Nadrieril	1	-2/+2
2020-02-11	Remove the Embed variant from ExprKind	Nadrieril	1	-39/+19
2020-02-09	Resolve by ref instead of by mut	Nadrieril	1	-49/+4
2020-02-02	Fix spans for unions and records	Nadrieril	1	-0/+6
2020-01-29	Cleanup variable handling	Nadrieril	1	-11/+5
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	1	-14/+33
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	1	-1/+1
2019-12-23	Add two new Integer builtins	Nadrieril	1	-0/+2
2019-12-22	Implement parsing for record completion	Nadrieril	1	-0/+2
2019-12-20	Remove Expr::as_mut	Nadrieril	1	-9/+6
2019-12-20	s/RawExpr/UnspannedExpr/	Nadrieril	1	-5/+5
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	1	-12/+12
2019-12-19	Rename syntax::core to syntax::ast	Nadrieril	1	-0/+0
2019-12-17	Typo	Nadrieril	1	-1/+1
2019-12-15	Move contents of dhall_syntax to dhall	Nadrieril	1	-3/+3
2019-11-11	Parse projection by expression	Nadrieril	1	-0/+2
2019-11-11	Capture absence of span in Span itself	Nadrieril	1	-14/+4
2019-11-11	Move Span definition to its own file	Nadrieril	1	-35/+0
2019-11-11	Remove unused function	Nadrieril	1	-4/+0
2019-09-09	Make ParseInput independent from dhall-specific types	Nadrieril	1	-6/+2
2019-09-06	Store Spans at every node when parsing	Nadrieril	1	-4/+14
2019-09-03	Resolve imports by mutating Expr instead of cloning it	Nadrieril	1	-53/+49
2019-09-03	No need to change the type of Embed when resolving anymore	Nadrieril	1	-9/+16
2019-09-02	Parse polymorphically in the Embed parameter	Nadrieril	1	-7/+2
2019-08-31	Implement parsing of `toMap` keyword	Nadrieril	1	-0/+2
2019-08-28	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	1	-32/+32
2019-08-27	clippy	Nadrieril	1	-1/+1
2019-08-16	Use `!` type instead of custom empty type	Nadrieril	1	-12/+2
2019-08-13	Implement inline headers parsing	Nadrieril	1	-6/+11
2019-08-13	Implement Hash for ParsedSubExpr	Nadrieril	1	-5/+23
2019-08-13	The syntax has very little sharing; no need for Rc anymore	Nadrieril	1	-11/+5
2019-08-13	Store Imports in their own node instead of in Embed	Nadrieril	1	-3/+12
2019-08-13	Considerably simplify Embed handling	Nadrieril	1	-84/+26
2019-08-13	Stop tracking the absence of Embed values at the type level	Nadrieril	1	-14/+2