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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Upstream all local tests	Nadrieril	2020-03-10	18	-27/+0
\| \| \| \|	See https://github.com/dhall-lang/dhall-lang/pull/933
*	Add support for `with` keyword	Nadrieril	2020-03-10	2	-0/+8
\|
*	Add a lot of import tests	Nadrieril	2020-03-05	3	-0/+11
\|
*	Add a bunch of `as Location` unit tests	Nadrieril	2020-03-05	2	-0/+2
\|
*	Add a bunch of tests	Nadrieril	2020-03-05	18	-0/+44
\|
*	Add support for duplicate record fields	Nadrieril	2020-02-20	4	-6/+3
\|
*	Avoid recomputing universes in tck	Nadrieril	2020-02-16	4	-4/+24
\|
*	Start requiring Universe to build a Type	Nadrieril	2020-02-16	2	-4/+4
\|
*	Rework annotation and Sort handling	Nadrieril	2020-02-13	14	-18/+38
\|
*	Simplify conversions to/from TyExpr	Nadrieril	2020-02-13	4	-0/+20
\|
*	Remove most TyExpr from normalization	Nadrieril	2020-02-09	9	-18/+18
\|
*	Move ui outputs to a sensible place	Nadrieril	2020-02-09	105	-0/+600
\|
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	1	-0/+1