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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	Closes #25
*	Implement binary decoding	Nadrieril	2019-03-14	2	-11/+21
\| \| \| \| \|	Closes #2 Closes #23
*	Handle Some and None builtins	Nadrieril	2019-03-12	1	-32/+32
\| \| \| \|	Closes #19
*	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
\| \| \| \|	Closes #5
*	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
\| \| \| \|	Closes #4
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	1	-3/+1
\| \| \| \|	Closes #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
\|
*	rustfmt	Nadrieril	2019-03-06	1	-20/+35
\|
*	Implement normalization for some more builtins	Nadrieril	2019-03-06	2	-10/+40
\|
*	Update test list	Nadrieril	2019-03-05	2	-22/+22
\|
*	Allow branching in match_children! macro	Nadrieril	2019-03-05	1	-0/+1
\|
*	Use normalization tests to test the parser too	Nadrieril	2019-03-03	1	-8/+19
\|
*	Parse more of the AST	Nadrieril	2019-03-03	2	-4/+3
\|
*	Remove obsolete tests	Nadrieril	2019-03-03	1	-2/+0
\|
*	Brutally increase stack size	Nadrieril	2019-03-03	1	-1/+5
\|
*	Parse more AST nodes	Nadrieril	2019-03-03	1	-2/+5
\|
*	Add parser/failure tests from spec	Nadrieril	2019-03-02	2	-1/+17
\|
*	Split abnf_to_pest and dhall into their own crates	Nadrieril	2019-03-01	2	-0/+250