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

	Commit message (Expand)	Author	Files	Lines
2019-05-07	Don't discard normalization work done by typechecking	Nadrieril	1	-1/+1
2019-05-07	Reorganize dhall_syntax	Nadrieril	8	-8/+12
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	2	-108/+16
2019-05-04	We actually don't need SubExpr::shift anymore	Nadrieril	1	-81/+0
2019-05-04	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	4	-218/+187
2019-05-04	Revert "Recover arrow type detection"	Nadrieril	2	-47/+19
2019-05-04	Recover arrow type detection	Nadrieril	2	-19/+47
2019-05-04	Make SubExpr generic in the variable labels type	Nadrieril	4	-187/+218
2019-05-04	Thread Spans through the AST	Nadrieril	3	-127/+139
2019-05-04	Move `Note`s into the spine of the AST	Nadrieril	4	-235/+80
2019-05-04	Remove dummy lifetimes	Nadrieril	1	-58/+55
2019-05-04	Replace pest::Span with a custom non-borrowing implementation	Nadrieril	1	-25/+50
2019-05-04	Rename dhall_core to dhall_syntax	Nadrieril	9	-0/+3034