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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove old-style optional literals	Nadrieril	2019-08-06	2	-8/+0
\|
*	Inline headers	Nadrieril	2019-08-06	1	-0/+1
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-3/+2
\|
*	Tweak	Nadrieril	2019-05-12	1	-12/+12
\|
*	clippy	Nadrieril	2019-05-12	2	-3/+2
\|
*	Implement binary encoding	Nadrieril	2019-05-12	3	-32/+82
\| \| \| \|	Closes #39
*	oops	Nadrieril	2019-05-10	1	-0/+1
\|
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	4	-16/+201
\|
*	Small utility SubExpr::from_builtin	Nadrieril	2019-05-09	1	-0/+4
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	2	-192/+92
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-9/+13
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	2	-17/+14
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-09	1	-0/+12
\|
*	Rename the record combining operators internally	Nadrieril	2019-05-08	1	-5/+5
\|
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	1	-1/+1
\|
*	Reorganize dhall_syntax	Nadrieril	2019-05-07	7	-0/+1226