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

	Commit message (Expand)	Author	Files	Lines
2020-02-04	Implement typechecking of toMap	Nadrieril	1	-1/+79
2020-02-04	Add basic pretty type errors to all errors	Nadrieril	1	-46/+66
2020-02-02	Add local test files on top of dhall-lang tests	Nadrieril	1	-0/+1
2020-02-02	Tweak errors	Nadrieril	1	-44/+43
2020-02-02	Use Spans consistently by value	Nadrieril	1	-8/+8
2020-02-02	Let rustfmt format string literals	Nadrieril	1	-43/+44
2020-02-02	More errors	Nadrieril	1	-5/+79
2020-02-02	More nice errors plus some refactor	Nadrieril	1	-94/+110
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	1	-22/+32
2020-01-30	Tweak ConstantClosure	Nadrieril	1	-12/+14
2020-01-30	Get rid of all the manual Ref borrows	Nadrieril	1	-34/+20
2020-01-30	Move main API to lib.rs	Nadrieril	1	-1/+1
2020-01-30	Move normalize under nze	Nadrieril	1	-1/+1
2020-01-30	Introduce Thunks and normalize lazily	Nadrieril	1	-16/+15
2020-01-30	Increase encapsulation for Closures	Nadrieril	1	-5/+5
2020-01-30	s/as_whnf/kind/	Nadrieril	1	-17/+15
2020-01-30	Encapsulate partially applied builtin in a separate struct	Nadrieril	1	-11/+15
2020-01-30	Remove debug output in type errors	Nadrieril	1	-12/+3
2020-01-30	Move builtins-related code to its own module	Nadrieril	1	-12/+10
2020-01-29	Move envs to their own files	Nadrieril	1	-55/+3
2020-01-29	s/QuoteEnv/VarEnv/	Nadrieril	1	-18/+16
2020-01-29	Remove dead code	Nadrieril	1	-22/+8
2020-01-29	Fix insufficient normalization	Nadrieril	1	-6/+6
2020-01-29	Use TyExpr in Typed	Nadrieril	1	-1/+8
2020-01-29	Fix more bugs	Nadrieril	1	-33/+36
2020-01-28	Implement assert & merge and fix more bugs	Nadrieril	1	-90/+118
2020-01-28	Thread env through nztion to fix Foo/build closures	Nadrieril	1	-3/+11
2020-01-27	Fix a bunch of bugs and more tck	Nadrieril	1	-29/+35
2020-01-25	Moar typecheck	Nadrieril	1	-145/+342
2020-01-25	More typecheck	Nadrieril	1	-8/+231
2020-01-25	Enable comparing Closures for equality	Nadrieril	1	-1/+2
2020-01-25	Typecheck more cases	Nadrieril	1	-53/+134
2020-01-24	Implement basic typecheck with new approach	Nadrieril	1	-0/+147