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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Derive DhallType for structs	Nadrieril	2019-03-26	2	-0/+79
*	Lay groundwork for DhallType deriving	Nadrieril	2019-03-24	1	-1/+0
*	Correctly namespace interpolations in dhall_expr!()	Nadrieril	2019-03-24	2	-3/+0
*	Improve decoder errors on unknown inputs	Nadrieril	2019-03-24	1	-6/+2
*	Parser import hash and headers	Nadrieril	2019-03-24	2	-6/+31
*	Handle merge and record projection	Nadrieril	2019-03-23	1	-5/+36
*	oops	Nadrieril	2019-03-22	1	-7/+7
*	Parse a lot more of the import types	Nadrieril	2019-03-22	2	-10/+84
*	Improve binary decoding errors	Nadrieril	2019-03-22	1	-14/+25
*	Improve import handling in parser	Nadrieril	2019-03-21	3	-1/+34
*	rustfmt	Nadrieril	2019-03-21	1	-11/+3
*	Follow the spec for handling Doubles	Nadrieril	2019-03-21	1	-1/+1
*	Represent Optional literals more faithfully	Nadrieril	2019-03-21	3	-39/+20
*	Rename Record/Union to RecordType/UnionType	Nadrieril	2019-03-21	2	-7/+7
*	Reorganize dhall_core a bit	Nadrieril	2019-03-21	3	-6/+6
*	rustfmt	Nadrieril	2019-03-19	1	-14/+20
*	Implement a few more primitives	Nadrieril	2019-03-18	2	-17/+44
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	3	-29/+38
*	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	3	-237/+87
*	Clean up some mess relating to Clone bounds	Nadrieril	2019-03-17	2	-13/+13
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	4	-427/+545
*	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	2019-03-16	3	-7/+10
*	Use Box more uniformly in AST	Nadrieril	2019-03-16	3	-102/+107
*	Store an Option in OptionalLit instead of a vec	Nadrieril	2019-03-16	3	-31/+24
*	rustfmt	Nadrieril	2019-03-15	1	-26/+24
*	Get rid of box patterns	Nadrieril	2019-03-15	2	-14/+13
*	Store a vec in App	Nadrieril	2019-03-15	3	-161/+147
*	Handle and parse interpolated strings	Nadrieril	2019-03-14	2	-5/+17
*	Implement binary decoding	Nadrieril	2019-03-14	2	-0/+215
*	rustfmt	Nadrieril	2019-03-12	1	-2/+10
*	Handle Some and None builtins	Nadrieril	2019-03-12	1	-1/+10
*	Fix List/fold implementation	Nadrieril	2019-03-11	1	-4/+4
*	Normalize lazily	Nadrieril	2019-03-11	1	-166/+212
*	Considerably simplify typecheck using dhall_expr!()	Nadrieril	2019-03-09	1	-96/+50
*	Obey clippy lints	Nadrieril	2019-03-09	5	-6/+10
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	4	-90/+64
*	Use new Label type everywhere	Nadrieril	2019-03-09	4	-85/+61
*	Use new Label type instead of &str in parser	Nadrieril	2019-03-09	2	-3/+3
*	A whole new bunch of tests now pass !	Nadrieril	2019-03-09	2	-1/+2
*	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	3	-51/+85
*	Clean up some of the mess	Nadrieril	2019-03-08	2	-24/+17
*	Rename Expr back to its true name	Nadrieril	2019-03-08	5	-83/+83
*	Finally get rid of all the &'i str	Nadrieril	2019-03-08	4	-106/+111