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

	Commit message (Expand)	Author	Age	Files	Lines
*	Move contents of dhall under a semantics submodule	Nadrieril	2019-12-15	1	-323/+0
*	Reexport dhall_syntax as a module in dhall	Nadrieril	2019-12-15	1	-2/+2
*	Capture absence of span in Span itself	Nadrieril	2019-11-11	1	-1/+2
*	Add mapping functions to InterpolatedTextContents	Nadrieril	2019-09-03	1	-16/+6
*	Use map_mut in ValueF::normalize_mut	Nadrieril	2019-09-03	1	-5/+2
*	Cleanup conversion of `Value` to `Expr`	Nadrieril	2019-08-30	1	-73/+30
*	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	1	-3/+3
*	Remove now unnecessary VoVF enum	Nadrieril	2019-08-25	1	-8/+2
*	Enforce type information almost everywhere	Nadrieril	2019-08-25	1	-3/+0
*	Reduce API surface of dhall crate	Nadrieril	2019-08-20	1	-13/+2
*	Use Ret in apply_builtin	Nadrieril	2019-08-20	1	-6/+0
*	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	1	-10/+22
*	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	1	-3/+6
*	Naming tweaks	Nadrieril	2019-08-20	1	-6/+5
*	Add Value::from_builtin	Nadrieril	2019-08-20	1	-10/+0
*	Cleanup	Nadrieril	2019-08-20	1	-3/+3
*	Merge TypedValue and Value	Nadrieril	2019-08-19	1	-13/+13
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	1	-4/+10
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	1	-3/+3
*	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	2019-08-19	1	-3/+4
*	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	2019-08-18	1	-21/+9
*	s/Thunk/Value/	Nadrieril	2019-08-17	1	-0/+405