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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Greatly reduce parser stack usage	Nadrieril	2019-03-12	2	-75/+80
\|
*	Add some explanatory comments	Nadrieril	2019-03-11	2	-0/+18
\|
*	Make main parser rule atomic	Nadrieril	2019-03-11	1	-1/+1
\|
*	Set rustup toolchain to nightly	Nadrieril	2019-03-11	2	-0/+3
\|
*	Fix stack overflows in prelude tests	Nadrieril	2019-03-11	2	-41/+24
\| \| \| \|	Closes #5
*	Fix List/fold implementation	Nadrieril	2019-03-11	2	-16/+14
\|
*	Update dhall-lang and reactivate prelude tests	Nadrieril	2019-03-11	3	-129/+135
\|
*	Normalize lazily	Nadrieril	2019-03-11	2	-166/+213
\| \| \| \|	Closes #7
*	Use Rc<str> for Label	Nadrieril	2019-03-10	1	-6/+8
\| \| \| \|	Closes #18
*	Considerably simplify typecheck using dhall_expr!()	Nadrieril	2019-03-09	2	-123/+107
\| \| \| \|	Closes #17
*	rustfmt	Nadrieril	2019-03-09	1	-18/+28
\|
*	Add typecheck tests	Nadrieril	2019-03-09	2	-0/+178
\| \| \| \|	Closes #4
*	Refactor abnf_to_pest to make rule editing possible	Nadrieril	2019-03-09	2	-129/+128
\| \| \| \|	Obsoletes #16
*	Obey clippy lints	Nadrieril	2019-03-09	10	-27/+35
\| \| \| \|	Closes #14
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	8	-204/+134
\| \| \| \|	Closes #1
*	Use new Label type everywhere	Nadrieril	2019-03-09	7	-178/+109
\|
*	Add README	Nadrieril	2019-03-09	1	-0/+15
\|
*	Use new Label type instead of &str in parser	Nadrieril	2019-03-09	7	-66/+110
\|
*	Disable Prelude tests for now	Nadrieril	2019-03-09	2	-130/+137
\|
*	A whole new bunch of tests now pass !	Nadrieril	2019-03-09	5	-118/+126
\|
*	Rename dhall! to dhall_expr! for clarity	Nadrieril	2019-03-09	2	-6/+6
\|
*	Recursive imports work !	Nadrieril	2019-03-09	1	-2/+2
\|
*	rustfmt	Nadrieril	2019-03-09	2	-38/+65
\|
*	First import works !	Nadrieril	2019-03-09	6	-75/+106
\|
*	Clean up some of the mess	Nadrieril	2019-03-08	4	-28/+32
\|
*	Rename Expr back to its true name	Nadrieril	2019-03-08	10	-217/+216
\|
*	Finally get rid of all the &'i str	Nadrieril	2019-03-08	7	-120/+126
\|
*	Make labels non-Copy	Nadrieril	2019-03-08	3	-104/+99
\|
*	rustfmt	Nadrieril	2019-03-08	3	-7/+10
\|
*	Slowly propagate the new type parameter throughout the codebase	Nadrieril	2019-03-08	8	-178/+298
\|
*	Generalise Context on its type of keys	Nadrieril	2019-03-08	3	-22/+28
\|
*	Generate pest file manually in the hopes to reduce spurious recompilations	Nadrieril	2019-03-08	4	-18/+23
\|
*	Make Expr generic in its type of labels	Nadrieril	2019-03-08	5	-98/+100
\|
*	Make test harness less macro-y	Nadrieril	2019-03-07	2	-59/+126
\|
*	Update spec submodule	Nadrieril	2019-03-07	1	-0/+0
\|
*	Use upstream pest	Nadrieril	2019-03-07	4	-7/+18
\|
*	Revert "Start moving strs in the AST"	Nadrieril	2019-03-07	3	-170/+166
\| \| \| \|	This reverts commit c2965244babe7b391fc6a72c015db6720ceb853f.
*	Start moving strs in the AST	Nadrieril	2019-03-07	3	-166/+170
\|
*	rustfmt	Nadrieril	2019-03-06	5	-41/+51
\|
*	Finally get rid of old parser	Nadrieril	2019-03-06	11	-1210/+27
\|
*	Start parsing imports	Nadrieril	2019-03-06	11	-30/+162
\|
*	Reorder rule in parser to match grammar	Nadrieril	2019-03-06	1	-108/+110
\|
*	Merge dhall_normalize back into dhall; that was unnecessary	Nadrieril	2019-03-06	9	-43/+7
\|
*	Handle correctly captured variables in dhall!	Nadrieril	2019-03-06	2	-38/+57
\|
*	Remove more clutter in normalize	Nadrieril	2019-03-06	1	-7/+7
\|
*	rustfmt	Nadrieril	2019-03-06	5	-27/+44
\|
*	Considerably remove clutter in normalize	Nadrieril	2019-03-06	2	-142/+107
\|
*	Remove FailedParse variant	Nadrieril	2019-03-06	1	-4/+0
\|
*	Simplify normalization using dhall! macro	Nadrieril	2019-03-06	3	-54/+63
\|
*	Move context to dhall_core	Nadrieril	2019-03-06	4	-2/+2
\|