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

	Commit message (Expand)	Author	Files	Lines
2020-11-03	Typecheck `with` using mutation	Nadrieril	1	-43/+20
2020-11-03	Normalize `with` by mutation.	Nadrieril	1	-52/+24
2020-11-03	Try to keep ownership of `Nir`s when convenient	Nadrieril	1	-54/+51
2020-11-02	Handle record type properly	Basile Henry	1	-1/+1
2020-11-02	Inline helper function	Basile Henry	1	-8/+4
2020-11-02	Refactor following PR review	Basile Henry	2	-29/+20
2020-11-01	Handle partially abstract with	Basile Henry	1	-8/+29
2020-11-01	Implement normalization for With op	Basile Henry	1	-2/+43
2020-11-01	Implement type checking for With op	Basile Henry	1	-1/+50
2020-09-14	spec: Enable `with` optimizations	Nadrieril	3	-2/+5
2020-06-25	spec: fix precedence of `===` and `with`	Nadrieril	1	-2/+2
2020-04-10	Deserialize `Prelude.Map` and `toMap` to a map instead of a list	Nadrieril	2	-5/+5
2020-04-07	Split operations module into submodules	Nadrieril	4	-0/+919