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

	Commit message (Expand)	Author	Files	Lines
2020-05-30	Commit grammar file locally	Nadrieril	2	-0/+965
2020-05-30	Use dhall.abnf directly instead of via symlink	Nadrieril	1	-1/+0
2020-04-10	Deserialize `Prelude.Map` and `toMap` to a map instead of a list	Nadrieril	1	-0/+6
2020-04-09	Move Label escaping out of its Display impl	Nadrieril	1	-21/+33
2020-04-07	Move duplicate field checking to parser	Nadrieril	5	-306/+59
2020-04-06	Move BinOp and Builtin definitions in the relevant module	Nadrieril	5	-160/+17
2020-04-06	Extract operation-related code to a new module	Nadrieril	5	-72/+14
2020-04-06	Factor out operations in typecheck	Nadrieril	1	-2/+2
2020-04-06	Split off operations from main expr enum	Nadrieril	6	-212/+253
2020-04-05	Check code hashes in import	Nadrieril	1	-0/+8
2020-03-31	Brutally make all of dhall pub	Nadrieril	7	-17/+17
2020-03-31	Remove top-level Expr aliases	Nadrieril	1	-1/+1
2020-03-31	Rename LitKind to NumKind	Nadrieril	6	-27/+27
2020-03-31	Fix indexing for spans that go to the end of the input	Nadrieril	1	-5/+7
2020-03-31	Upgrade annotate-snippets version	Nadrieril	1	-8/+2
2020-03-20	Remove more unnecessary parens in printer	Nadrieril	3	-10/+35
2020-03-20	Parse RFC3986 URLs	Nadrieril	2	-2/+22
2020-03-17	Remove never_type feature	Nadrieril	1	-2/+4
2020-03-17	Run clippy	Nadrieril	5	-65/+111
2020-03-11	Implement record puns	Nadrieril	4	-1/+9
2020-03-10	Add support for `with` keyword	Nadrieril	3	-1/+44
2020-03-05	Implement remote imports and cleanup import chaining	Nadrieril	5	-34/+34
2020-03-05	Implement remote `as Location` resolution	Nadrieril	1	-1/+1
2020-03-05	Implement `as Location` imports	Nadrieril	1	-29/+0
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 dotted field syntax	Nadrieril	2	-2/+14
2020-02-20	Add support for duplicate record fields	Nadrieril	4	-21/+46
2020-02-19	Expose fewer pub things	Nadrieril	3	-45/+7
2020-02-17	Remove some unused code	Nadrieril	1	-24/+0
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	6	-40/+55
2020-02-11	Simplify ExprKind visitor	Nadrieril	2	-140/+84
2020-02-11	Remove the Embed variant from ExprKind	Nadrieril	6	-103/+58
2020-02-09	Resolve by ref instead of by mut	Nadrieril	2	-215/+4
2020-02-04	Workaround panic in a serde_dhall example	Nadrieril	1	-2/+4
2020-02-02	Use Spans consistently by value	Nadrieril	1	-5/+1
2020-02-02	Fix spans for unions and records	Nadrieril	2	-17/+24
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	1	-0/+30
2020-01-30	Move parser files to syntax/	Nadrieril	2	-0/+190
2020-01-30	Move main API to lib.rs	Nadrieril	2	-2/+2
2020-01-29	Cleanup variable handling	Nadrieril	3	-13/+7
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