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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Start taking Typed seriously	Nadrieril	2019-04-06	1	-4/+1
\|
*	Thread Typed through type_with	Nadrieril	2019-04-06	1	-0/+10
\|
*	Factor out shift/subst/shift dance	Nadrieril	2019-04-06	1	-10/+3
\|
*	Merge branch 'master' into exprf	Nadrieril	2019-04-06	1	-1/+1
\|\
\| *	Get keyword rule from upstream	Nadrieril	2019-04-04	1	-1/+1
\| \|
* \|	Give up on laziness and greatly simplify normalization	Nadrieril	2019-04-06	1	-230/+203
\| \|
* \|	Refactor and clarify various map methods	Nadrieril	2019-04-01	1	-1/+1
\| \|
* \|	Move recursion out of Expr	Nadrieril	2019-03-31	1	-3/+3
\| \|
* \|	Make SubExpr a newtype	Nadrieril	2019-03-31	1	-19/+20
\|/
*	Manually rustfmt like a nazi	Nadrieril	2019-03-27	1	-2/+12
\|
*	Correctly namespace interpolations in dhall_expr!()	Nadrieril	2019-03-24	1	-1/+0
\|
*	Handle merge and record projection	Nadrieril	2019-03-23	1	-5/+36
\|
*	rustfmt	Nadrieril	2019-03-21	1	-11/+3
\|
*	Represent Optional literals more faithfully	Nadrieril	2019-03-21	1	-16/+9
\|
*	Reorganize dhall_core a bit	Nadrieril	2019-03-21	1	-1/+1
\|
*	rustfmt	Nadrieril	2019-03-19	1	-14/+20
\|
*	Implement a few more primitives	Nadrieril	2019-03-18	1	-16/+44
\|
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	1	-19/+27
\|
*	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
\|
*	Considerably simplify subst, shift and typechecking	Nadrieril	2019-03-18	1	-17/+8
\|
*	Clean up some mess relating to Clone bounds	Nadrieril	2019-03-17	1	-11/+11
\|
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	1	-173/+235
\|
*	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	2019-03-16	1	-0/+1
\| \| \| \|	Closes #29
*	Use Box more uniformly in AST	Nadrieril	2019-03-16	1	-18/+20
\| \| \| \|	Closes #28
*	Store an Option in OptionalLit instead of a vec	Nadrieril	2019-03-16	1	-19/+16
\| \| \| \|	Closes #21
*	rustfmt	Nadrieril	2019-03-15	1	-26/+24
\|
*	Get rid of box patterns	Nadrieril	2019-03-15	1	-13/+13
\| \| \| \|	Closes #27
*	Store a vec in App	Nadrieril	2019-03-15	1	-145/+128
\| \| \| \|	Closes #26
*	Handle and parse interpolated strings	Nadrieril	2019-03-14	1	-2/+2
\| \| \| \|	Closes #25
*	Handle Some and None builtins	Nadrieril	2019-03-12	1	-1/+10
\| \| \| \|	Closes #19
*	Fix List/fold implementation	Nadrieril	2019-03-11	1	-4/+4
\|
*	Normalize lazily	Nadrieril	2019-03-11	1	-166/+212
\| \| \| \|	Closes #7
*	Obey clippy lints	Nadrieril	2019-03-09	1	-1/+1
\| \| \| \|	Closes #14
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	1	-3/+3
\| \| \| \|	Closes #1
*	Use new Label type everywhere	Nadrieril	2019-03-09	1	-11/+9
\|
*	A whole new bunch of tests now pass !	Nadrieril	2019-03-09	1	-1/+1
\|
*	Rename dhall! to dhall_expr! for clarity	Nadrieril	2019-03-09	1	-5/+5
\|
*	Clean up some of the mess	Nadrieril	2019-03-08	1	-11/+9
\|
*	Rename Expr back to its true name	Nadrieril	2019-03-08	1	-5/+5
\|
*	Make labels non-Copy	Nadrieril	2019-03-08	1	-5/+5
\|
*	Slowly propagate the new type parameter throughout the codebase	Nadrieril	2019-03-08	1	-22/+31
\|
*	Make Expr generic in its type of labels	Nadrieril	2019-03-08	1	-1/+1
\|
*	rustfmt	Nadrieril	2019-03-06	1	-31/+41
\|
*	Start parsing imports	Nadrieril	2019-03-06	1	-1/+1
\|
*	Merge dhall_normalize back into dhall; that was unnecessary	Nadrieril	2019-03-06	1	-0/+181