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

	Commit message (Expand)	Author	Age	Files	Lines
*	Factor out operations in typecheck	Nadrieril	2020-04-06	1	-2/+2
*	Split off operations from main expr enum	Nadrieril	2020-04-06	6	-212/+253
*	Check code hashes in import	Nadrieril	2020-04-05	1	-0/+8
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	7	-17/+17
*	Remove top-level Expr aliases	Nadrieril	2020-03-31	1	-1/+1
*	Rename LitKind to NumKind	Nadrieril	2020-03-31	6	-27/+27
*	Fix indexing for spans that go to the end of the input	Nadrieril	2020-03-31	1	-5/+7
*	Upgrade annotate-snippets version	Nadrieril	2020-03-31	1	-8/+2
*	Remove more unnecessary parens in printer	Nadrieril	2020-03-20	3	-10/+35
*	Parse RFC3986 URLs	Nadrieril	2020-03-20	2	-2/+22
*	Remove never_type feature	Nadrieril	2020-03-17	1	-2/+4
*	Run clippy	Nadrieril	2020-03-17	5	-65/+111
*	Implement record puns	Nadrieril	2020-03-11	4	-1/+9
*	Add support for `with` keyword	Nadrieril	2020-03-10	3	-1/+44
*	Implement remote imports and cleanup import chaining	Nadrieril	2020-03-05	5	-34/+34
*	Implement remote `as Location` resolution	Nadrieril	2020-03-05	1	-1/+1
*	Implement `as Location` imports	Nadrieril	2020-03-05	1	-29/+0
*	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 dotted field syntax	Nadrieril	2020-02-20	2	-2/+14
*	Add support for duplicate record fields	Nadrieril	2020-02-20	4	-21/+46
*	Expose fewer pub things	Nadrieril	2020-02-19	3	-45/+7
*	Remove some unused code	Nadrieril	2020-02-17	1	-24/+0
*	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	6	-40/+55
*	Simplify ExprKind visitor	Nadrieril	2020-02-11	2	-140/+84
*	Remove the Embed variant from ExprKind	Nadrieril	2020-02-11	6	-103/+58
*	Resolve by ref instead of by mut	Nadrieril	2020-02-09	2	-215/+4
*	Workaround panic in a serde_dhall example	Nadrieril	2020-02-04	1	-2/+4
*	Use Spans consistently by value	Nadrieril	2020-02-02	1	-5/+1
*	Fix spans for unions and records	Nadrieril	2020-02-02	2	-17/+24
*	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
*	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