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

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