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

	Commit message (Expand)	Author	Age	Files	Lines
*	Thread cx through normalization	Nadrieril	2020-12-07	15	-347/+395
*	Thread cx through typecheck	Nadrieril	2020-12-07	8	-28/+65
*	Improve ergonomics of `Ctxt`	Nadrieril	2020-12-07	2	-55/+55
*	Make global store of imports and import results	Nadrieril	2020-12-07	4	-62/+200
*	An import location is not independent from the import mode	Nadrieril	2020-12-06	2	-117/+107
*	Prepare `ImportLocation` for more fields	Nadrieril	2020-12-06	2	-38/+82
*	If can return a type	Basile Henry	2020-11-27	1	-2/+2
*	release: dhall version 0.9.0	Nadrieril	2020-11-20	1	-1/+1
*	Remove NirInternal	Nadrieril	2020-11-03	2	-50/+23
*	Typecheck `with` using mutation	Nadrieril	2020-11-03	3	-45/+25
*	Normalize `with` by mutation.	Nadrieril	2020-11-03	4	-57/+66
*	Try to keep ownership of `Nir`s when convenient	Nadrieril	2020-11-03	2	-55/+52
*	Merge remote-tracking branch 'upstream/master' into text-replace	Basile Henry	2020-11-03	13	-736/+328
\|\
\| *	Handle record type properly	Basile Henry	2020-11-02	1	-1/+1
\| *	Inline helper function	Basile Henry	2020-11-02	1	-8/+4
\| *	Refactor following PR review	Basile Henry	2020-11-02	2	-29/+20
\| *	Handle partially abstract with	Basile Henry	2020-11-01	1	-8/+29
\| *	Implement normalization for With op	Basile Henry	2020-11-01	1	-2/+43
\| *	Implement type checking for With op	Basile Henry	2020-11-01	2	-31/+52
\| *	fix: clippy	Nadrieril	2020-11-01	2	-21/+18
\| *	feat: add location to import error messages	Nadrieril	2020-11-01	1	-2/+10
\| *	Ensure that the hash always gets checked	Nadrieril	2020-11-01	2	-19/+40
\| *	Typed and TypedHir are the same	Nadrieril	2020-11-01	3	-33/+26
\| *	Untangle caching code	Nadrieril	2020-11-01	10	-661/+155
\| *	Store file cache in ImportEnv	Nadrieril	2020-11-01	4	-21/+22
\| *	Untangle ImportEnv::handle_import	Nadrieril	2020-11-01	2	-29/+37
* \|	Allow `Text/replace ` to support an abstract haystack	Basile Henry	2020-11-01	1	-22/+28
\|/
*	Update annotate-snippets dependency	Nadrieril	2020-10-30	1	-12/+13
*	Roll our own Value for binary decoding	Nadrieril	2020-10-30	1	-12/+162
*	Don't use serde_cbor::Value in binary encoding	Nadrieril	2020-10-30	1	-40/+40
*	release: dhall version 0.8.0	Nadrieril	2020-10-28	1	-1/+1
*	No need to escape underscores in pretty-printing	Nadrieril	2020-10-28	1	-1/+3
*	Prefer u64/i64 to usize/isize	Nadrieril	2020-10-28	3	-9/+8
*	Make `SimpleValue` deserializable within other types	Nadrieril	2020-10-27	1	-0/+1
*	Release dhall version 0.7.4	Nadrieril	2020-10-25	1	-1/+1
*	Refactor Text/replace eval	Basile Henry	2020-10-25	1	-42/+29
*	Implement Text/replace	Basile Henry	2020-10-25	2	-2/+64
*	Release dhall version 0.7.2	Nadrieril	2020-10-24	1	-1/+1
*	Make reqwest an optional dependency	Basile Henry	2020-10-10	1	-1/+5
*	Release dhall version 0.7.0	Nadrieril	2020-09-15	1	-1/+1
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	9	-26/+69
*	Release dhall version 0.6.0	Nadrieril	2020-08-05	1	-1/+1
*	spec: allow trailing delimiters	Nadrieril	2020-06-25	1	-6/+7
*	spec!: remove Optional/build and Optional/fold	Nadrieril	2020-06-25	2	-47/+3
*	spec: remove Unicode character from `dhall.abnf`	Nadrieril	2020-06-25	1	-1/+1
*	spec!: remove the ability to quote paths in URLs	Nadrieril	2020-06-25	3	-14/+8
*	spec: ensure `keyword` rule only matches keywords	Nadrieril	2020-06-25	1	-2/+4
*	spec: not all ABNF parsers like empty rules	Nadrieril	2020-06-25	3	-44/+21
*	spec: allow quoted labels to be empty	Nadrieril	2020-06-25	2	-2/+4
*	spec: allow unions with mixed kinds	Nadrieril	2020-06-25	1	-15/+5