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

	Commit message (Expand)	Author	Age	Files	Lines
*	Cache tarpaulin build	Nadrieril	2019-03-19	1	-3/+1
*	Add codecov integration	Nadrieril	2019-03-19	1	-0/+2
*	Fix rust version to use	Nadrieril	2019-03-19	2	-3/+3
*	Add coveralls CI integration	Nadrieril	2019-03-19	1	-7/+2
*	Add travis integration	Nadrieril	2019-03-19	3	-11/+46
*	Implement a few more primitives	Nadrieril	2019-03-18	4	-38/+73
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	7	-50/+61
*	tweaks	Nadrieril	2019-03-18	1	-4/+14
*	Split off builtin application normalization for clarity	Nadrieril	2019-03-18	1	-168/+149
*	Improve normalization ergonomics	Nadrieril	2019-03-18	1	-145/+150
*	Improve ergonomics of typechecking	Nadrieril	2019-03-18	1	-354/+248
*	Considerably simplify subst, shift and typechecking	Nadrieril	2019-03-18	5	-491/+188
*	Clean up some mess relating to Clone bounds	Nadrieril	2019-03-17	4	-81/+43
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	7	-583/+695
*	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	2019-03-16	6	-86/+93
*	Use Box more uniformly in AST	Nadrieril	2019-03-16	6	-164/+171
*	Store an Option in OptionalLit instead of a vec	Nadrieril	2019-03-16	6	-45/+38
*	rustfmt	Nadrieril	2019-03-15	1	-26/+24
*	Get rid of box patterns	Nadrieril	2019-03-15	3	-15/+13
*	Store a vec in App	Nadrieril	2019-03-15	6	-174/+175
*	Revert "Start rewriting parser with slice patterns"	Nadrieril	2019-03-15	2	-123/+30
*	Start rewriting parser with slice patterns	Nadrieril	2019-03-15	2	-30/+123
*	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	2	-1/+172
*	rustfmt	Nadrieril	2019-03-14	1	-5/+16
*	Handle and parse interpolated strings	Nadrieril	2019-03-14	9	-43/+254
*	Implement binary decoding	Nadrieril	2019-03-14	7	-14/+270
*	Update spec submodule	Nadrieril	2019-03-13	1	-0/+0
*	rustfmt	Nadrieril	2019-03-12	2	-18/+25
*	Handle Some and None builtins	Nadrieril	2019-03-12	3	-39/+60
*	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
*	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
*	Use Rc<str> for Label	Nadrieril	2019-03-10	1	-6/+8
*	Considerably simplify typecheck using dhall_expr!()	Nadrieril	2019-03-09	2	-123/+107
*	rustfmt	Nadrieril	2019-03-09	1	-18/+28
*	Add typecheck tests	Nadrieril	2019-03-09	2	-0/+178
*	Refactor abnf_to_pest to make rule editing possible	Nadrieril	2019-03-09	2	-129/+128
*	Obey clippy lints	Nadrieril	2019-03-09	10	-27/+35
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	8	-204/+134
*	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