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

	Commit message (Expand)	Author	Age	Files	Lines
...
* \|	Remove special closures from Value	Nadrieril	2019-08-15	3	-136/+62
* \|	Fix bug in shifting contexts	Nadrieril	2019-08-15	1	-1/+10
* \|	Fix typo in normalization	Nadrieril	2019-08-14	1	-1/+1
* \|	Merge pull request #102 from Nadrieril/inline-headers	Nadrieril Feneanar	2019-08-14	17	-498/+343
\|\ \
\| * \|	Implement inline headers parsing	Nadrieril	2019-08-13	10	-117/+119
\| * \|	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	4	-29/+58
\| * \|	The syntax has very little sharing; no need for Rc anymore	Nadrieril	2019-08-13	1	-11/+5
\| * \|	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	8	-33/+61
\| * \|	Cleanup visitor code	Nadrieril	2019-08-13	1	-139/+54
\| * \|	Considerably simplify Embed handling	Nadrieril	2019-08-13	7	-138/+48
\| * \|	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	9	-65/+32
\|/ /
* \|	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	9	-180/+126
* \|	Typos	Nadrieril	2019-08-13	1	-2/+2
* \|	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	6	-89/+99
* \|	Swap Typed and TypeThunk	Nadrieril	2019-08-13	2	-91/+129
* \|	Merge pull request #100 from Nadrieril/api	Nadrieril Feneanar	2019-08-13	13	-314/+358
\|\ \
\| * \|	Rework API to resemble that of serde_json	Nadrieril	2019-08-13	4	-103/+122
\| * \|	Merge `Type` and `Value` in serde_dhall	Nadrieril	2019-08-13	4	-73/+50
\| * \|	Add new error type for serde_dhall	Nadrieril	2019-08-13	4	-32/+52
\| * \|	Move api into its own crate	Nadrieril	2019-08-13	12	-146/+174
\|/ /
\| *	Remove the notion of Directory and have File be the vector of components	Fintan Halpenny	2019-09-02	3	-66/+24
\| *	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	FintanH	2019-08-12	25	-1207/+1016
\| \|\ \| \|/ \|/\|
* \|	Remove grammar workaround	Nadrieril	2019-08-12	3	-23/+1
* \|	Remove ensure_... macros in typecheck	Nadrieril	2019-08-12	1	-115/+89
* \|	Fix a test	Nadrieril	2019-08-12	2	-2/+0
* \|	Remove dhall::expr!() macro	Nadrieril	2019-08-10	8	-295/+137
* \|	Tweak Codecov configuration	Nadrieril	2019-08-10	1	-0/+5
* \|	Merge pull request #98 from Nadrieril/catchup-spec	Nadrieril Feneanar	2019-08-10	16	-131/+146
\|\ \
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-10	4	-5/+24
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-08	3	-0/+4
\| * \|	Add support for dependent types	Nadrieril	2019-08-08	15	-28/+113
\| * \|	Upstream a bunch of tests	Nadrieril	2019-08-08	1	-99/+6
* \| \|	Merge pull request #95 from Nadrieril/catchup-spec	Nadrieril Feneanar	2019-08-07	18	-698/+695
\|\\| \|
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-07	3	-0/+4
\| * \|	Flatten nested let bindings	Nadrieril	2019-08-07	3	-6/+43
\| * \|	Normalize field selection further by inspecting the argument	Nadrieril	2019-08-07	2	-0/+12
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\| * \|	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	3	-50/+33
\| * \|	Add binary-decode tests	Nadrieril	2019-08-07	3	-3/+74
\| * \|	Add truncated Natural subtraction	Nadrieril	2019-08-07	7	-0/+15
\| * \|	Remove union literals from the language	Nadrieril	2019-08-07	10	-104/+11
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\| * \|	Various parsing tweaks	Nadrieril	2019-08-07	4	-18/+3
\| * \|	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	4	-2/+24
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+0
\| * \|	Sort labels in projection expressions	Nadrieril	2019-08-07	3	-5/+100
\| * \|	Generalize empty list annotations	Nadrieril	2019-08-06	6	-7/+37
\| * \|	Circumvent spec error	Nadrieril	2019-08-06	1	-0/+11
\| * \|	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	6	-48/+74
\| * \|	Update dhall-lang submodule	Nadrieril	2019-08-06	1	-0/+0