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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Typecheck record completion	Nadrieril	2020-02-05	1	-13/+0
\|
*	Typecheck projection by type	Nadrieril	2020-02-05	1	-10/+0
\|
*	Implement typechecking of toMap	Nadrieril	2020-02-04	1	-25/+0
\|
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	1	-46/+56
\|
*	Move parser files to syntax/	Nadrieril	2020-01-30	1	-2/+2
\|
*	Fix more bugs	Nadrieril	2020-01-29	1	-0/+4
\|
*	Thread env through nztion to fix Foo/build closures	Nadrieril	2020-01-28	1	-7/+0
\|
*	Postpone fixing Foo/build builtins	Nadrieril	2020-01-24	1	-0/+7
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-27	1	-13/+0
\|
*	Ensure normalization respects var names on the nose	Nadrieril	2019-12-24	1	-0/+1
\|
*	Note waiting for release of abnf	Nadrieril	2019-12-24	1	-1/+1
\|
*	Extend merge to work on Optionals	Nadrieril	2019-12-24	1	-3/+13
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-0/+8
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-23	1	-1/+7
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+13
\|
*	Update abnf dependency in the hopes of fixing a bug	Nadrieril	2019-12-22	1	-6/+4
\|
*	Implement parsing for record completion	Nadrieril	2019-12-22	1	-0/+16
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-6/+1
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+3
\|
*	Put test builders in a vec	Nadrieril	2019-12-22	1	-79/+33
\|
*	Generate parser manually to make the crate publishable	Nadrieril	2019-12-21	1	-2/+26
\|
*	Move pest file generation to dhall/build.rs	Nadrieril	2019-12-17	1	-2/+96
\|
*	Parse projection by expression	Nadrieril	2019-11-11	1	-22/+1
\|
*	Test type error messages	Nadrieril	2019-11-11	1	-0/+29
\|
*	Generate import tests automatically	Nadrieril	2019-11-11	1	-0/+42
\|
*	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-1/+7
\|
*	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-39/+13
\|
*	Don't URL-decode path segments	Nadrieril	2019-08-31	1	-0/+4
\|
*	Implement parsing of `toMap` keyword	Nadrieril	2019-08-31	1	-9/+0
\|
*	Rework test harness to prepare for new types of tests	Nadrieril	2019-08-30	1	-184/+299
\|
*	Typecheck before normalizing in tests	Nadrieril	2019-08-16	1	-1/+4
\|
*	Use precedence climbing to parse expressions with operators	Nadrieril	2019-08-15	1	-2/+3
\| \| \| \|	This speeds up parsing around 30%
*	Implement inline headers parsing	Nadrieril	2019-08-13	1	-15/+1
\|
*	Fix a test	Nadrieril	2019-08-12	1	-2/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-4/+9
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-08	1	-0/+3
\|
*	Add support for dependent types	Nadrieril	2019-08-08	1	-1/+4
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+1
\|
*	Flatten nested let bindings	Nadrieril	2019-08-07	1	-0/+3
\|
*	Normalize field selection further by inspecting the argument	Nadrieril	2019-08-07	1	-0/+12
\|
*	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	1	-35/+30
\|
*	Add binary-decode tests	Nadrieril	2019-08-07	1	-2/+21
\|
*	Various parsing tweaks	Nadrieril	2019-08-07	1	-4/+0
\|
*	Generalize empty list annotations	Nadrieril	2019-08-06	1	-0/+2
\|
*	Add toMap keyword	Nadrieril	2019-08-06	1	-0/+21
\|
*	Auto-generate typechecking tests list	Nadrieril	2019-08-06	1	-3/+33
\|
*	Change URL parsing	Nadrieril	2019-08-06	1	-0/+1
\|
*	Change some tests	Nadrieril	2019-08-06	1	-15/+13
\|
*	RFC3986 URLs	Nadrieril	2019-08-06	1	-2/+18
\|
*	Add some tests	Nadrieril	2019-08-06	1	-2/+18
\|