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

	Commit message (Expand)	Author	Age	Files	Lines
*	Move builtins module up a level	Nadrieril	2020-04-06	1	-2/+0
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	1	-4/+4
*	Move hir and resolve into a module	Nadrieril	2020-02-17	1	-2/+0
*	Take Hir for typecheck	Nadrieril	2020-02-09	1	-0/+1
*	Add Hir as untyped alternative to TyExpr	Nadrieril	2020-02-09	1	-0/+2
*	Move parse and resolve up a level	Nadrieril	2020-01-30	1	-1/+2
*	Move Value-related stuff under semantics::nze	Nadrieril	2020-01-30	1	-2/+0
*	Move builtins-related code to its own module	Nadrieril	2020-01-30	1	-0/+2
*	Move envs to their own files	Nadrieril	2020-01-29	1	-0/+1
*	Reimplement basic tck/nze with proper environments	Nadrieril	2020-01-20	1	-0/+1
*	Introduce intermediate representation that stores typed expr	Nadrieril	2020-01-18	1	-1/+2
*	Implement traverse_ref for ValueKind	Nadrieril	2020-01-17	1	-0/+1
*	Move error module to root of crate	Nadrieril	2019-12-20	1	-1/+0
*	Move out conversion from value back to ast to its own file	Nadrieril	2019-12-19	1	-0/+1
*	Move contents of dhall under a semantics submodule	Nadrieril	2019-12-15	1	-0/+3