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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	Inspired from dhall_haskell
*	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