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

	Commit message (Expand)	Author	Files	Lines
2019-04-08	Move spec tests into the relevant files	Nadrieril	1	-302/+0
2019-04-07	Avoid constructing exprs manually when possible	Nadrieril	1	-0/+1
2019-04-07	Augment stack size for typecheck tests	Nadrieril	1	-3/+3
2019-04-07	Put a Cow in Type	Nadrieril	1	-3/+3
2019-04-06	Add Sort type universe	Nadrieril	1	-6/+6
2019-04-06	Factor out the recursion when possible in typecheck	Nadrieril	1	-2/+2
2019-04-06	Add type-inference tests	Nadrieril	1	-0/+133
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-04-04	Update dhall-lang submodule	Nadrieril	1	-36/+36
2019-03-15	Split different tests features into their own files	Nadrieril	1	-0/+168