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

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