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

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