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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Move contents of dhall under a semantics submodule	Nadrieril	2019-12-15	1	-295/+0
\|
*	Reexport dhall_syntax as a module in dhall	Nadrieril	2019-12-15	1	-5/+5
\|
*	Add mapping functions to InterpolatedTextContents	Nadrieril	2019-09-03	1	-10/+2
\|
*	Share type alongside the value in a thunk	Nadrieril	2019-08-16	1	-0/+12
\|
*	Use generic Shift/Subst impls	Nadrieril	2019-08-16	1	-37/+138
\|
*	Store type in Thunk	Nadrieril	2019-08-16	1	-4/+31
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	1	-1/+1
\|
*	Free variables don't exist anymore	Nadrieril	2019-08-16	1	-21/+13
\|
*	Remove dead code	Nadrieril	2019-08-16	1	-6/+0
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	1	-7/+7
\| \| \| \|	Helps detect unused code
*	Custom Debug impls to improve debug legibility	Nadrieril	2019-08-15	1	-2/+17
\|
*	Remove special closures from Value	Nadrieril	2019-08-15	1	-0/+6
\| \| \| \|	Instead construct their values directly
*	clippy	Nadrieril	2019-05-12	1	-3/+1
\|
*	Make visibilities more consistent	Nadrieril	2019-05-09	1	-8/+8
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-12/+27
\|
*	shift on lookup instead of on insert	Nadrieril	2019-05-08	1	-2/+19
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	1	-0/+12
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	1	-9/+20
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	1	-0/+103