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

	Commit message (Expand)	Author	Files	Lines
2020-02-13	Rework annotation and Sort handling	Nadrieril	1	-4/+4
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	Tweak errors	Nadrieril	1	-2/+3
2020-02-02	More errors	Nadrieril	1	-2/+2
2020-02-02	More nice errors plus some refactor	Nadrieril	1	-2/+2
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	1	-1/+14
2020-01-29	Use TyExpr in Typed	Nadrieril	1	-1/+1
2020-01-25	Make most type errors stringy	Nadrieril	1	-8/+1
2019-11-11	Add more detail to TypeMismatch error	Nadrieril	1	-0/+7
2019-11-11	Add a few more pretty errors	Nadrieril	1	-1/+1
2019-11-11	Implement basicest Display for TypeError	Nadrieril	1	-1/+1
2019-11-11	Test type error messages	Nadrieril	1	-0/+1