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

	Commit message (Expand)	Author	Files	Lines
2020-02-09	Move ui outputs to a sensible place	Nadrieril	1	-9/+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/+8
2020-01-29	Use TyExpr in Typed	Nadrieril	1	-1/+1
2020-01-25	Make most type errors stringy	Nadrieril	1	-13/+1
2020-01-24	Update type-errors	Nadrieril	1	-2/+2
2019-12-27	Update dhall-lang submodule	Nadrieril	1	-1/+1
2019-11-11	Add more detail to TypeMismatch error	Nadrieril	1	-0/+12
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