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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Run `cargo fmt`	Nadrieril	2019-11-11	1	-2/+5
\|
*	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	Fintan Halpenny	2019-09-02	1	-48/+38
\|\
\| *	Don't URL-decode path segments	Nadrieril	2019-08-31	1	-17/+5
\| \|
\| *	Implement parsing of `toMap` keyword	Nadrieril	2019-08-31	1	-0/+11
\| \|
\| *	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	1	-3/+3
\| \| \| \| \| \| \| \|	For clarity, and consistency with Value
\| *	Implement inline headers parsing	Nadrieril	2019-08-13	1	-10/+3
\| \|
\| *	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	1	-5/+11
\| \|
\| *	Considerably simplify Embed handling	Nadrieril	2019-08-13	1	-1/+1
\| \|
\| *	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	1	-6/+0
\| \|
\| *	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	1	-6/+6
\| \|
* \|	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	FintanH	2019-08-12	1	-20/+7
\|\\|
\| *	Add support for dependent types	Nadrieril	2019-08-08	1	-0/+4
\| \|
\| *	Add truncated Natural subtraction	Nadrieril	2019-08-07	1	-0/+1
\| \|
\| *	Remove union literals from the language	Nadrieril	2019-08-07	1	-10/+0
\| \|
\| *	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	1	-2/+1
\| \|
\| *	RFC3986 URLs	Nadrieril	2019-08-06	1	-0/+1
\| \|
\| *	Remove old-style optional literals	Nadrieril	2019-08-06	1	-8/+0
\| \|
* \|	Refactor of File to be the combination of Directory and the file name,	FintanH	2019-08-12	1	-4/+6
\|/ \| \| \| \| \| \| \| \| \|	where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic.
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-1/+3
\|
*	Implement binary encoding	Nadrieril	2019-05-12	1	-11/+18
\| \| \| \|	Closes #39
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	1	-2/+2
\|
*	Rename the record combining operators internally	Nadrieril	2019-05-08	1	-3/+3
\|
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-1/+12
\|
*	Move `Note`s into the spine of the AST	Nadrieril	2019-05-04	1	-8/+2
\|
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	1	-0/+498