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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implement basic env-based normalization for Value-based TyExpr	Nadrieril	2020-01-23	1	-0/+2
\|
*	Prepare Value for reverse variables	Nadrieril	2020-01-21	2	-2/+14
\| \| \| \|	I thought it would work ><. It's a bit too early
*	Split TyEnv into two envs	Nadrieril	2020-01-20	1	-102/+152
\|
*	Reimplement basic tck/nze with proper environments	Nadrieril	2020-01-20	2	-0/+401
	Inspired from dhall_haskell