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

	Commit message (Expand)	Author	Files	Lines
2019-03-18	tweaks	Nadrieril	1	-4/+14
2019-03-18	Split off builtin application normalization for clarity	Nadrieril	1	-168/+149
2019-03-18	Improve normalization ergonomics	Nadrieril	1	-145/+150
2019-03-18	Improve ergonomics of typechecking	Nadrieril	1	-354/+248
2019-03-18	Considerably simplify subst, shift and typechecking	Nadrieril	3	-237/+87
2019-03-17	Clean up some mess relating to Clone bounds	Nadrieril	2	-13/+13
2019-03-17	Use Rc consistently everywhere	Nadrieril	4	-427/+545
2019-03-16	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	3	-7/+10
2019-03-16	Use Box more uniformly in AST	Nadrieril	3	-102/+107
2019-03-16	Store an Option in OptionalLit instead of a vec	Nadrieril	3	-31/+24
2019-03-15	rustfmt	Nadrieril	1	-26/+24
2019-03-15	Get rid of box patterns	Nadrieril	2	-14/+13
2019-03-15	Store a vec in App	Nadrieril	3	-161/+147
2019-03-14	Handle and parse interpolated strings	Nadrieril	2	-5/+17
2019-03-14	Implement binary decoding	Nadrieril	2	-0/+215
2019-03-12	rustfmt	Nadrieril	1	-2/+10
2019-03-12	Handle Some and None builtins	Nadrieril	1	-1/+10
2019-03-11	Fix List/fold implementation	Nadrieril	1	-4/+4
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	Obey clippy lints	Nadrieril	5	-6/+10
2019-03-09	Remove the pervasive Label type parameter	Nadrieril	4	-90/+64
2019-03-09	Use new Label type everywhere	Nadrieril	4	-85/+61
2019-03-09	Use new Label type instead of &str in parser	Nadrieril	2	-3/+3
2019-03-09	A whole new bunch of tests now pass !	Nadrieril	2	-1/+2
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	3	-51/+85
2019-03-08	Clean up some of the mess	Nadrieril	2	-24/+17
2019-03-08	Rename Expr back to its true name	Nadrieril	5	-83/+83
2019-03-08	Finally get rid of all the &'i str	Nadrieril	4	-106/+111
2019-03-08	Make labels non-Copy	Nadrieril	2	-8/+8
2019-03-08	rustfmt	Nadrieril	1	-1/+1
2019-03-08	Slowly propagate the new type parameter throughout the codebase	Nadrieril	4	-80/+103
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	1	-0/+46
2019-03-06	rustfmt	Nadrieril	3	-35/+46
2019-03-06	Finally get rid of old parser	Nadrieril	1	-28/+2
2019-03-06	Start parsing imports	Nadrieril	4	-5/+14
2019-03-06	Merge dhall_normalize back into dhall; that was unnecessary	Nadrieril	4	-2/+186
2019-03-06	rustfmt	Nadrieril	1	-1/+1
2019-03-06	Move context to dhall_core	Nadrieril	3	-58/+1
2019-03-06	Split-off normalization into its own crate	Nadrieril	2	-1/+3
2019-03-06	Split-off core into its own crate	Nadrieril	8	-2611/+8
2019-03-06	rustfmt	Nadrieril	7	-291/+535
2019-03-06	Implement normalization for some more builtins	Nadrieril	1	-5/+16
2019-03-06	rustfmt	Nadrieril	1	-167/+292
2019-03-06	Add missing builtins	Nadrieril	1	-9/+27