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

	Commit message (Collapse)	Author	Age	Files	Lines
*	rustfmt	Nadrieril	2019-05-04	1	-1/+1
\|
*	Rename dhall_generator to dhall_proc_macros	Nadrieril	2019-05-04	1	-1/+1
\|
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	2	-2/+2
\|
*	Instead of possibly nonexistent Type, treat Sort specially	Nadrieril	2019-05-02	3	-26/+8
\|
*	Store Thunk in Normalized	Nadrieril	2019-05-02	1	-1/+3
\|
*	Tweaks	Nadrieril	2019-05-02	1	-1/+1
\|
*	Don't need to store original expression in TypeError	Nadrieril	2019-04-29	1	-11/+0
\|
*	Silence warnings	Nadrieril	2019-04-23	1	-0/+2
\|
*	Avoid duplicating work when matching on Pi types	Nadrieril	2019-04-23	2	-1/+2
\|
*	Temporarily simplify functions depending on TypeInternal	Nadrieril	2019-04-22	1	-9/+12
\|
*	Factor out context handling	Nadrieril	2019-04-21	1	-5/+6
\|
*	Remove obsolete dhall_expr!() macro	Nadrieril	2019-04-18	1	-14/+14
\|
*	Remove more duplication	Nadrieril	2019-04-18	1	-1/+1
\|
*	Remove higher-kinded type noise in Type	Nadrieril	2019-04-16	1	-4/+4
\|
*	Naming tweaks	Nadrieril	2019-04-16	1	-2/+2
\|
*	Namespace deserialization functions in a `de` submodule	Nadrieril	2019-04-14	1	-1/+1
\| \| \| \|	Closes #73
*	Document all of the API	Nadrieril	2019-04-13	2	-7/+33
\| \| \| \|	Closes #64
*	Thread lifetimes through other newtypes	Nadrieril	2019-04-11	3	-36/+37
\| \| \| \|	Closes #55
*	Add lifetime parameters to Parsed and Resolved	Nadrieril	2019-04-11	1	-4/+4
\| \| \| \|	Future-proofing
*	Remove type parameter from TypeError	Nadrieril	2019-04-11	1	-6/+6
\|
*	Respect import boundaries	Nadrieril	2019-04-11	1	-1/+1
\| \| \| \|	Closes #54
*	Abstract get_type() into a trait	Nadrieril	2019-04-11	2	-0/+58
\|
*	Handle untyped case differently from the type of Sort	Nadrieril	2019-04-11	1	-1/+1
\| \| \| \|	Closes #59
*	Add basic deserialization support	Nadrieril	2019-04-11	2	-1/+25
\| \| \| \|	Closes #13
*	Allow providing type for typechecking in API	Nadrieril	2019-04-10	1	-2/+5
\|
*	Cleanup error handling	Nadrieril	2019-04-10	1	-3/+3
\| \| \| \|	Closes #41
*	Split traits module into submodules	Nadrieril	2019-04-10	3	-0/+151