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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Get rid of box patterns	Nadrieril	2019-03-15	2	-14/+13
\| \| \| \|	Closes #27
*	Store a vec in App	Nadrieril	2019-03-15	3	-161/+147
\| \| \| \|	Closes #26
*	Split different tests features into their own files	Nadrieril	2019-03-15	4	-238/+241
\|
*	Rework test harness	Nadrieril	2019-03-15	2	-591/+594
\|
*	Update spec submodule and add new tests	Nadrieril	2019-03-15	1	-1/+172
\|
*	Handle and parse interpolated strings	Nadrieril	2019-03-14	5	-13/+30
\| \| \| \|	Closes #25
*	Implement binary decoding	Nadrieril	2019-03-14	5	-11/+237
\| \| \| \| \|	Closes #2 Closes #23
*	rustfmt	Nadrieril	2019-03-12	1	-2/+10
\|
*	Handle Some and None builtins	Nadrieril	2019-03-12	2	-33/+42
\| \| \| \|	Closes #19
*	Greatly reduce parser stack usage	Nadrieril	2019-03-12	1	-1/+1
\|
*	Fix stack overflows in prelude tests	Nadrieril	2019-03-11	1	-4/+4
\| \| \| \|	Closes #5
*	Fix List/fold implementation	Nadrieril	2019-03-11	2	-16/+14
\|
*	Update dhall-lang and reactivate prelude tests	Nadrieril	2019-03-11	1	-127/+127
\|
*	Normalize lazily	Nadrieril	2019-03-11	1	-166/+212
\| \| \| \|	Closes #7
*	Considerably simplify typecheck using dhall_expr!()	Nadrieril	2019-03-09	1	-96/+50
\| \| \| \|	Closes #17
*	Add typecheck tests	Nadrieril	2019-03-09	2	-0/+178
\| \| \| \|	Closes #4
*	Obey clippy lints	Nadrieril	2019-03-09	5	-6/+10
\| \| \| \|	Closes #14
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	5	-93/+65
\| \| \| \|	Closes #1
*	Use new Label type everywhere	Nadrieril	2019-03-09	5	-88/+64
\|
*	Use new Label type instead of &str in parser	Nadrieril	2019-03-09	2	-3/+3
\|
*	Disable Prelude tests for now	Nadrieril	2019-03-09	1	-127/+134
\|
*	A whole new bunch of tests now pass !	Nadrieril	2019-03-09	3	-52/+54
\|
*	Rename dhall! to dhall_expr! for clarity	Nadrieril	2019-03-09	1	-5/+5
\|
*	Recursive imports work !	Nadrieril	2019-03-09	1	-2/+2
\|
*	rustfmt	Nadrieril	2019-03-09	1	-16/+34
\|
*	First import works !	Nadrieril	2019-03-09	4	-74/+93
\|
*	Clean up some of the mess	Nadrieril	2019-03-08	2	-24/+17
\|
*	Rename Expr back to its true name	Nadrieril	2019-03-08	6	-84/+84
\|
*	Finally get rid of all the &'i str	Nadrieril	2019-03-08	5	-108/+114
\|
*	Make labels non-Copy	Nadrieril	2019-03-08	2	-8/+8
\|
*	rustfmt	Nadrieril	2019-03-08	2	-5/+9
\|
*	Slowly propagate the new type parameter throughout the codebase	Nadrieril	2019-03-08	5	-83/+106
\|
*	Generalise Context on its type of keys	Nadrieril	2019-03-08	1	-4/+4
\|
*	Make Expr generic in its type of labels	Nadrieril	2019-03-08	2	-4/+5
\|
*	Make test harness less macro-y	Nadrieril	2019-03-07	2	-59/+126
\|
*	rustfmt	Nadrieril	2019-03-06	3	-35/+46
\|
*	Finally get rid of old parser	Nadrieril	2019-03-06	2	-35/+4
\|
*	Start parsing imports	Nadrieril	2019-03-06	5	-6/+15
\|
*	Merge dhall_normalize back into dhall; that was unnecessary	Nadrieril	2019-03-06	6	-4/+187
\|
*	rustfmt	Nadrieril	2019-03-06	1	-1/+1
\|
*	Simplify normalization using dhall! macro	Nadrieril	2019-03-06	1	-1/+1
\|
*	Move context to dhall_core	Nadrieril	2019-03-06	3	-58/+1
\|
*	Remove doctest noise from cargo test	Nadrieril	2019-03-06	1	-0/+3
\|
*	Split-off normalization into its own crate	Nadrieril	2019-03-06	4	-1/+5
\|
*	Split-off core into its own crate	Nadrieril	2019-03-06	11	-2624/+10
\|
*	rustfmt	Nadrieril	2019-03-06	8	-311/+570
\|
*	Implement normalization for some more builtins	Nadrieril	2019-03-06	3	-15/+56
\|
*	rustfmt	Nadrieril	2019-03-06	1	-167/+292
\|
*	Add missing builtins	Nadrieril	2019-03-06	1	-9/+27
\|
*	Merge binary operations in AST	Nadrieril	2019-03-05	4	-126/+106
\|