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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Generate parser tests list automatically	Nadrieril	2019-03-24	1	-67/+2
*	Parser import hash and headers	Nadrieril	2019-03-24	1	-1/+1
*	Disallow builtins as bound variables	Nadrieril	2019-03-24	1	-1/+1
*	Handle merge and record projection	Nadrieril	2019-03-23	1	-6/+6
*	Update dhall-lang submodule	Nadrieril	2019-03-23	1	-2/+3
*	Handle double overflows in parser	Nadrieril	2019-03-23	1	-2/+2
*	Parse unicode escapes in string	Nadrieril	2019-03-23	1	-1/+1
*	Handle quoted labels	Nadrieril	2019-03-22	1	-1/+1
*	Parse a lot more of the import types	Nadrieril	2019-03-22	1	-7/+7
*	Improve import handling in parser	Nadrieril	2019-03-21	2	-5/+10
*	Follow the spec for handling Doubles	Nadrieril	2019-03-21	1	-1/+1
*	Reorganize dhall_core a bit	Nadrieril	2019-03-21	1	-1/+1
*	Make parser implementation non-recursive	Nadrieril	2019-03-20	1	-16/+1
*	Cleanup parser code	Nadrieril	2019-03-20	1	-1/+1
*	Obsolete old parser macros; performance is now dead	Nadrieril	2019-03-20	1	-1/+1
*	Handle simple parsing cases with new macros	Nadrieril	2019-03-20	1	-1/+1
*	rustfmt	Nadrieril	2019-03-19	1	-1/+1
*	Test printer in parser tests	Nadrieril	2019-03-19	1	-0/+5
*	Add travis integration	Nadrieril	2019-03-19	1	-11/+15
*	Implement a few more primitives	Nadrieril	2019-03-18	1	-21/+21
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	1	-3/+3
*	Considerably simplify subst, shift and typechecking	Nadrieril	2019-03-18	1	-4/+1
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	1	-9/+9
*	Split different tests features into their own files	Nadrieril	2019-03-15	4	-238/+241
*	Rework test harness	Nadrieril	2019-03-15	2	-591/+594
*	Update spec submodule and add new tests	Nadrieril	2019-03-15	1	-1/+172
*	Handle and parse interpolated strings	Nadrieril	2019-03-14	2	-8/+10
*	Implement binary decoding	Nadrieril	2019-03-14	2	-11/+21
*	Handle Some and None builtins	Nadrieril	2019-03-12	1	-32/+32
*	Greatly reduce parser stack usage	Nadrieril	2019-03-12	1	-1/+1
*	Fix stack overflows in prelude tests	Nadrieril	2019-03-11	1	-4/+4
*	Fix List/fold implementation	Nadrieril	2019-03-11	1	-12/+10
*	Update dhall-lang and reactivate prelude tests	Nadrieril	2019-03-11	1	-127/+127
*	Add typecheck tests	Nadrieril	2019-03-09	2	-0/+178
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	1	-3/+1
*	Use new Label type everywhere	Nadrieril	2019-03-09	1	-3/+3
*	Disable Prelude tests for now	Nadrieril	2019-03-09	1	-127/+134
*	A whole new bunch of tests now pass !	Nadrieril	2019-03-09	1	-51/+52
*	First import works !	Nadrieril	2019-03-09	1	-23/+8
*	Rename Expr back to its true name	Nadrieril	2019-03-08	1	-1/+1
*	Finally get rid of all the &'i str	Nadrieril	2019-03-08	1	-2/+3
*	rustfmt	Nadrieril	2019-03-08	1	-4/+8
*	Slowly propagate the new type parameter throughout the codebase	Nadrieril	2019-03-08	1	-3/+3
*	Make test harness less macro-y	Nadrieril	2019-03-07	1	-59/+80
*	Finally get rid of old parser	Nadrieril	2019-03-06	1	-7/+2
*	Start parsing imports	Nadrieril	2019-03-06	1	-1/+1
*	Merge dhall_normalize back into dhall; that was unnecessary	Nadrieril	2019-03-06	1	-1/+0
*	Simplify normalization using dhall! macro	Nadrieril	2019-03-06	1	-1/+1
*	Split-off normalization into its own crate	Nadrieril	2019-03-06	1	-0/+1
*	Split-off core into its own crate	Nadrieril	2019-03-06	1	-0/+1