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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Thread cx through normalization	Nadrieril	2020-12-07	2	-35/+43
\|
*	Thread cx through typecheck	Nadrieril	2020-12-07	1	-4/+4
\|
*	If can return a type	Basile Henry	2020-11-27	1	-2/+2
\|
*	Typecheck `with` using mutation	Nadrieril	2020-11-03	1	-43/+20
\|
*	Normalize `with` by mutation.	Nadrieril	2020-11-03	1	-52/+24
\| \| \| \| \|	This is Cow-style mutation: we clone only what's shared and then mutate it. This it more legible and more efficient than the immutable version.
*	Try to keep ownership of `Nir`s when convenient	Nadrieril	2020-11-03	1	-54/+51
\| \| \| \| \|	The goal is that we might avoid cloning internals in the common case where a value is not shared
*	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	1	-1/+50
\|
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	3	-2/+5
\|
*	spec: fix precedence of `===` and `with`	Nadrieril	2020-06-25	1	-2/+2
\|
*	Deserialize `Prelude.Map` and `toMap` to a map instead of a list	Nadrieril	2020-04-10	2	-5/+5
\|
*	Split operations module into submodules	Nadrieril	2020-04-07	4	-0/+919