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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Store type in Thunk	Nadrieril	2019-08-16	2	-58/+71
\|
*	Remove Const-optimization for now	Nadrieril	2019-08-16	1	-14/+5
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	7	-337/+343
\|
*	Try to minimize untyped TypedThunks	Nadrieril	2019-08-16	3	-32/+42
\|
*	fixup! No need for generic Context anymore	Nadrieril	2019-08-16	1	-1/+1
\|
*	Free variables don't exist anymore	Nadrieril	2019-08-16	1	-21/+13
\|
*	No need for generic Context anymore	Nadrieril	2019-08-16	1	-75/+38
\|
*	Remove dead code	Nadrieril	2019-08-16	7	-114/+27
\|
*	Typecheck before normalizing in tests	Nadrieril	2019-08-16	2	-16/+17
\|
*	Avoid capture when typechecking union constructor	Nadrieril	2019-08-16	1	-2/+1
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	10	-98/+86
\| \| \| \|	Helps detect unused code
*	Use `!` type instead of custom empty type	Nadrieril	2019-08-16	1	-3/+3
\|
*	rustfmt	Nadrieril	2019-08-15	1	-2/+1
\|
*	Disable some unused unstable features	Nadrieril	2019-08-15	5	-11/+4
\|
*	Fix variable substitution	Nadrieril	2019-08-15	1	-4/+2
\| \| \| \|	I have no idea how this didn't get caught before
*	Custom Debug impls to improve debug legibility	Nadrieril	2019-08-15	2	-3/+37
\|
*	Remove special closures from Value	Nadrieril	2019-08-15	3	-136/+62
\| \| \| \|	Instead construct their values directly
*	Fix bug in shifting contexts	Nadrieril	2019-08-15	1	-1/+10
\|
*	Fix typo in normalization	Nadrieril	2019-08-14	1	-1/+1
\|
*	Implement inline headers parsing	Nadrieril	2019-08-13	3	-39/+27
\|
*	Implement Hash for ParsedSubExpr	Nadrieril	2019-08-13	2	-23/+34
\|
*	Store Imports in their own node instead of in Embed	Nadrieril	2019-08-13	4	-13/+25
\|
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	4	-10/+4
\|
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	5	-30/+28
\|
*	No need to track the absence of `Span`s at the type level	Nadrieril	2019-08-13	4	-39/+36
\|
*	Typos	Nadrieril	2019-08-13	1	-2/+2
\|
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	5	-86/+96
\|
*	Swap Typed and TypeThunk	Nadrieril	2019-08-13	2	-91/+129
\|
*	Add new error type for serde_dhall	Nadrieril	2019-08-13	1	-12/+0
\|
*	Move api into its own crate	Nadrieril	2019-08-13	6	-436/+16
\|
*	Remove ensure_... macros in typecheck	Nadrieril	2019-08-12	1	-115/+89
\| \| \| \|	They weren't worth it
*	Remove dhall::expr!() macro	Nadrieril	2019-08-10	5	-42/+126
\| \| \| \|	It's a lot of hassle for not a lot of benefit
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-0/+13
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-08	1	-0/+1
\|
*	Add support for dependent types	Nadrieril	2019-08-08	7	-26/+83
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+3
\|
*	Flatten nested let bindings	Nadrieril	2019-08-07	1	-6/+40
\|
*	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	2	-15/+3
\|
*	Add binary-decode tests	Nadrieril	2019-08-07	2	-1/+53
\|
*	Add truncated Natural subtraction	Nadrieril	2019-08-07	2	-0/+11
\|
*	Remove union literals from the language	Nadrieril	2019-08-07	4	-37/+6
\|
*	Various parsing tweaks	Nadrieril	2019-08-07	1	-3/+3
\|
*	Forbid surrogate pairs and non-characters	Nadrieril	2019-08-07	1	-0/+2
\|
*	Generalize empty list annotations	Nadrieril	2019-08-06	1	-2/+6
\|
*	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	4	-45/+71
\|
*	rustfmt	Nadrieril	2019-08-06	1	-1/+2
\|
*	Auto-generate typechecking tests list	Nadrieril	2019-08-06	1	-395/+0
\|
*	Change some tests	Nadrieril	2019-08-06	1	-0/+5
\|
*	RFC3986 URLs	Nadrieril	2019-08-06	1	-1/+7
\|
*	Add some tests	Nadrieril	2019-08-06	1	-0/+10
\|