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

	Commit message (Expand)	Author	Files	Lines
2019-12-20	Move ValueKind into value.rs	Nadrieril	1	-1/+1
2019-12-20	Move error module to root of crate	Nadrieril	1	-1/+1
2019-12-19	Rename ValueF to ValueKind	Nadrieril	1	-2/+2
2019-12-15	Refer to semantics module properly	Nadrieril	1	-4/+4
2019-12-15	Avoid mention of `crate::` outside of top-level imports	Nadrieril	1	-2/+1
2019-12-15	Move contents of dhall under a semantics submodule	Nadrieril	1	-0/+0
2019-12-15	Reexport dhall_syntax as a module in dhall	Nadrieril	1	-1/+1
2019-08-19	Merge TypedValue and Value	Nadrieril	1	-19/+12
2019-08-19	Reduce untyped construction of Values	Nadrieril	1	-21/+13
2019-08-19	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	1	-13/+16
2019-08-17	s/Thunk/Value/	Nadrieril	1	-7/+7
2019-08-16	s/Value/ValueF/	Nadrieril	1	-2/+2
2019-08-16	fixup! No need for generic Context anymore	Nadrieril	1	-1/+1
2019-08-16	No need for generic Context anymore	Nadrieril	1	-75/+38
2019-08-16	Remove dead code	Nadrieril	1	-31/+0
2019-08-16	Reduce api surface of dhall crate	Nadrieril	1	-4/+4
2019-08-15	Fix bug in shifting contexts	Nadrieril	1	-1/+10
2019-05-09	Make visibilities more consistent	Nadrieril	1	-19/+15
2019-05-09	Make shift fallible and improve shift ergonomics	Nadrieril	1	-33/+32
2019-05-09	Correctly shift free variables in normalization	Nadrieril	1	-10/+10
2019-05-08	Fix Context shifting	Nadrieril	1	-15/+24
2019-05-08	shift on lookup instead of on insert	Nadrieril	1	-25/+52
2019-05-07	Replace hashmap-based context with a vec-based one	Nadrieril	1	-14/+37
2019-05-07	Don't discard normalization work done by typechecking	Nadrieril	1	-25/+8
2019-05-07	Unify typecheck and normalization contexts	Nadrieril	1	-65/+101
2019-05-07	Promote shift and subst_shift to traits	Nadrieril	1	-39/+45
2019-05-07	Move AlphaVar and AlphaLabel into a new module	Nadrieril	1	-1/+2
2019-05-06	Move main datatypes into their own modules	Nadrieril	1	-0/+136