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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Extend merge to work on Optionals	Nadrieril	2019-12-24	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-0/+0
\|
*	Add two new Integer builtins	Nadrieril	2019-12-23	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+0
\|
*	Implement parsing for record completion	Nadrieril	2019-12-22	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-31	1	-0/+0
\|
*	Don't URL-decode path segments	Nadrieril	2019-08-31	1	-0/+0
\|
*	Standardize records of mixed kinds	Nadrieril	2019-08-20	1	-0/+0
\|
*	Remove grammar workaround	Nadrieril	2019-08-12	1	-0/+0
\|
*	Fix a test	Nadrieril	2019-08-12	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-08	1	-0/+0
\|
*	Add support for dependent types	Nadrieril	2019-08-08	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\|
*	Flatten nested let bindings	Nadrieril	2019-08-07	1	-0/+0
\|
*	Normalize field selection further by inspecting the argument	Nadrieril	2019-08-07	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\|
*	Add truncated Natural subtraction	Nadrieril	2019-08-07	1	-0/+0
\|
*	Remove union literals from the language	Nadrieril	2019-08-07	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\|
*	Various parsing tweaks	Nadrieril	2019-08-07	1	-0/+0
\|
*	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\|
*	Generalize empty list annotations	Nadrieril	2019-08-06	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-06	1	-0/+0
\|
*	Add toMap keyword	Nadrieril	2019-08-06	1	-0/+0
\|
*	Change URL parsing	Nadrieril	2019-08-06	1	-0/+0
\|
*	Change some tests	Nadrieril	2019-08-06	1	-0/+0
\|
*	RFC3986 URLs	Nadrieril	2019-08-06	1	-0/+0
\|
*	Add some tests	Nadrieril	2019-08-06	1	-0/+0
\|
*	Braced escape sequences	Nadrieril	2019-08-06	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-06	1	-0/+0
\|
*	Remove old-style optional literals	Nadrieril	2019-08-06	1	-0/+0
\|
*	Inline headers	Nadrieril	2019-08-06	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-09	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	1	-0/+0
\|