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

	Commit message (Collapse)	Author	Age	Files	Lines
*	spec: update encoding of floating point values to RFC7049bis	Nadrieril	2020-06-25	1	-0/+0
\|
*	spec: allow unions with mixed kinds	Nadrieril	2020-06-25	1	-0/+0
\|
*	spec: fix precedence of `===` and `with`	Nadrieril	2020-06-25	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2020-04-11	1	-0/+0
\|
*	Update spec to v15	Nadrieril	2020-04-11	1	-0/+0
\|
*	Standard PR got merged	Nadrieril	2020-03-17	1	-0/+0
\|
*	Upstream all local tests	Nadrieril	2020-03-10	1	-0/+0
\| \| \| \|	See https://github.com/dhall-lang/dhall-lang/pull/933
*	Add support for `with` keyword	Nadrieril	2020-03-10	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2020-03-05	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2020-02-20	1	-0/+0
\|
*	Support spec v14	Nadrieril	2020-02-20	1	-0/+0
\|
*	Add support for dotted field syntax	Nadrieril	2020-02-20	1	-0/+0
\|
*	Disallow Natural literals with leading zeros	Nadrieril	2020-02-20	1	-0/+0
\|
*	Add support for duplicate record fields	Nadrieril	2020-02-20	1	-0/+0
\|
*	Update spec to version 13	Nadrieril	2020-02-19	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-27	1	-0/+0
\|
*	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
\|