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

	Commit message (Expand)	Author	Files	Lines
2020-03-10	Upstream all local tests	Nadrieril	6	-6/+0
2020-03-10	Add support for `with` keyword	Nadrieril	2	-0/+8
2020-03-05	Add a bunch of tests	Nadrieril	10	-0/+36
2020-02-20	Add support for duplicate record fields	Nadrieril	4	-6/+3
2020-02-16	Avoid recomputing universes in tck	Nadrieril	4	-4/+24
2020-02-16	Start requiring Universe to build a Type	Nadrieril	2	-4/+4
2020-02-13	Rework annotation and Sort handling	Nadrieril	14	-18/+38
2020-02-13	Simplify conversions to/from TyExpr	Nadrieril	4	-0/+20
2020-02-09	Remove most TyExpr from normalization	Nadrieril	9	-18/+18
2020-02-09	Move ui outputs to a sensible place	Nadrieril	105	-0/+600
2020-02-02	Add local test files on top of dhall-lang tests	Nadrieril	1	-0/+1