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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove more duplication	Nadrieril	2019-04-18	1	-1/+1
\|
*	Remove one more instance of duplicate typechecking	Nadrieril	2019-04-16	1	-0/+15
\|
*	Remove higher-kinded type noise in Type	Nadrieril	2019-04-16	1	-1/+8
\|
*	Avoid some work duplication in typechecking	Nadrieril	2019-04-16	1	-3/+0
\|
*	Document all of the API	Nadrieril	2019-04-13	1	-2/+11
\| \| \| \|	Closes #64
*	Restrict public API to its most minimal expression	Nadrieril	2019-04-12	1	-4/+8
\|
*	Capture `Span`s in the AST and thread them through Parsed and Resolved	Nadrieril	2019-04-12	1	-6/+2
\|
*	Thread lifetimes through other newtypes	Nadrieril	2019-04-11	1	-44/+36
\| \| \| \|	Closes #55
*	Add lifetime parameters to Parsed and Resolved	Nadrieril	2019-04-11	1	-4/+31
\| \| \| \|	Future-proofing
*	Respect import boundaries	Nadrieril	2019-04-11	1	-6/+14
\| \| \| \|	Closes #54
*	Improve simple type handling in typecheck	Nadrieril	2019-04-11	1	-0/+5
\|
*	Abstract get_type() into a trait	Nadrieril	2019-04-11	1	-0/+22
\|
*	Handle untyped case differently from the type of Sort	Nadrieril	2019-04-11	1	-3/+4
\| \| \| \|	Closes #59
*	Add SimpleType and SimpeStaticType. Derive the latter	Nadrieril	2019-04-10	1	-0/+21
\|
*	Restrict public API	Nadrieril	2019-04-07	1	-18/+30
\| \| \| \|	Closes #20
*	Universe hierarchy is overkill	Nadrieril	2019-04-07	1	-4/+4
\|
*	Put a Cow in Type	Nadrieril	2019-04-07	1	-3/+3
\|
*	Store the whole type hierarchy in a Type	Nadrieril	2019-04-06	1	-9/+8
\|
*	Start taking Typed seriously	Nadrieril	2019-04-06	1	-1/+1
\|
*	Thread Typed through type_with	Nadrieril	2019-04-06	1	-25/+9
\|
*	Move binary decoding to new API	Nadrieril	2019-04-06	1	-8/+14
\|
*	Massage import loading into new API	Nadrieril	2019-04-06	1	-10/+20
\| \| \| \|	Closes #9
*	Define some newtypes for Expr	Nadrieril	2019-04-06	1	-0/+35
	Closes #50