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

	Commit message (Expand)	Author	Files	Lines
2020-03-31	Upgrade annotate-snippets version	Nadrieril	1	-1/+1
2020-02-16	Start requiring Universe to build a Type	Nadrieril	1	-2/+2
2020-02-09	Move ui outputs to a sensible place	Nadrieril	1	-0/+0
2020-02-04	Add basic pretty type errors to all errors	Nadrieril	1	-1/+1
2020-02-02	More nice errors plus some refactor	Nadrieril	1	-1/+7
2020-01-29	Use TyExpr in Typed	Nadrieril	1	-6/+1
2019-11-11	Add a few more pretty errors	Nadrieril	1	-1/+6
2019-11-11	Implement basicest Display for TypeError	Nadrieril	1	-1/+1
2019-11-11	Test type error messages	Nadrieril	1	-0/+1