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	-145/+0
\|
*	Reexport dhall_syntax as a module in dhall	Nadrieril	2019-12-15	1	-1/+1
\|
*	Merge TypedValue and Value	Nadrieril	2019-08-19	1	-19/+12
\|
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	1	-21/+13
\|
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	1	-13/+16
\| \| \| \| \|	Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
*	s/Thunk/Value/	Nadrieril	2019-08-17	1	-7/+7
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	1	-2/+2
\|
*	fixup! No need for generic Context anymore	Nadrieril	2019-08-16	1	-1/+1
\|
*	No need for generic Context anymore	Nadrieril	2019-08-16	1	-75/+38
\|
*	Remove dead code	Nadrieril	2019-08-16	1	-31/+0
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	1	-4/+4
\| \| \| \|	Helps detect unused code
*	Fix bug in shifting contexts	Nadrieril	2019-08-15	1	-1/+10
\|
*	Make visibilities more consistent	Nadrieril	2019-05-09	1	-19/+15
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-33/+32
\|
*	Correctly shift free variables in normalization	Nadrieril	2019-05-09	1	-10/+10
\|
*	Fix Context shifting	Nadrieril	2019-05-08	1	-15/+24
\|
*	shift on lookup instead of on insert	Nadrieril	2019-05-08	1	-25/+52
\|
*	Replace hashmap-based context with a vec-based one	Nadrieril	2019-05-07	1	-14/+37
\|
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	1	-25/+8
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	1	-65/+101
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	1	-39/+45
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	1	-1/+2
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-0/+136