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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use `!` type instead of custom empty type	Nadrieril	2019-08-16	1	-1/+1
\|
*	Implement inline headers parsing	Nadrieril	2019-08-13	1	-2/+2
\|
*	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	1	-5/+6
\|
*	Cleanup visitor code	Nadrieril	2019-08-13	1	-139/+54
\|
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	1	-43/+17
\|
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	1	-14/+1
\|
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	1	-29/+11
\|
*	Add support for dependent types	Nadrieril	2019-08-08	1	-0/+1
\|
*	Remove union literals from the language	Nadrieril	2019-08-07	1	-3/+0
\|
*	Add some new tests and implement import alternatives	Nadrieril	2019-08-06	1	-0/+25
\|
*	Remove old-style optional literals	Nadrieril	2019-08-06	1	-4/+0
\|
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	1	-12/+17
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	1	-139/+71
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-12/+10
\|
*	Reorganize dhall_syntax	Nadrieril	2019-05-07	1	-0/+458