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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	oops	Nadrieril	2019-03-22	1	-7/+7
\|
*	Parse a lot more of the import types	Nadrieril	2019-03-22	3	-17/+91
\|
*	Improve binary decoding errors	Nadrieril	2019-03-22	1	-14/+25
\|
*	Improve import handling in parser	Nadrieril	2019-03-21	5	-6/+44
\|
*	rustfmt	Nadrieril	2019-03-21	1	-11/+3
\|
*	Follow the spec for handling Doubles	Nadrieril	2019-03-21	2	-2/+2
\|
*	Represent Optional literals more faithfully	Nadrieril	2019-03-21	3	-39/+20
\|
*	Rename Record/Union to RecordType/UnionType	Nadrieril	2019-03-21	2	-7/+7
\|
*	Reorganize dhall_core a bit	Nadrieril	2019-03-21	4	-7/+7
\|
*	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	2	-15/+21
\|
*	Test printer in parser tests	Nadrieril	2019-03-19	1	-0/+5
\| \| \| \|	Closes #30
*	Add travis integration	Nadrieril	2019-03-19	2	-11/+18
\|
*	Implement a few more primitives	Nadrieril	2019-03-18	3	-38/+65
\|
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	4	-32/+41
\|
*	tweaks	Nadrieril	2019-03-18	1	-4/+14
\|
*	Split off builtin application normalization for clarity	Nadrieril	2019-03-18	1	-168/+149
\|
*	Improve normalization ergonomics	Nadrieril	2019-03-18	1	-145/+150
\|
*	Improve ergonomics of typechecking	Nadrieril	2019-03-18	1	-354/+248
\|
*	Considerably simplify subst, shift and typechecking	Nadrieril	2019-03-18	4	-241/+88
\|
*	Clean up some mess relating to Clone bounds	Nadrieril	2019-03-17	2	-13/+13
\|
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	5	-436/+554
\|
*	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	2019-03-16	3	-7/+10
\| \| \| \|	Closes #29
*	Use Box more uniformly in AST	Nadrieril	2019-03-16	3	-102/+107
\| \| \| \|	Closes #28
*	Store an Option in OptionalLit instead of a vec	Nadrieril	2019-03-16	3	-31/+24
\| \| \| \|	Closes #21
*	rustfmt	Nadrieril	2019-03-15	1	-26/+24
\|
*	Get rid of box patterns	Nadrieril	2019-03-15	2	-14/+13
\| \| \| \|	Closes #27
*	Store a vec in App	Nadrieril	2019-03-15	3	-161/+147
\| \| \| \|	Closes #26
*	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	5	-13/+30
\| \| \| \|	Closes #25
*	Implement binary decoding	Nadrieril	2019-03-14	5	-11/+237
\| \| \| \| \|	Closes #2 Closes #23
*	rustfmt	Nadrieril	2019-03-12	1	-2/+10
\|
*	Handle Some and None builtins	Nadrieril	2019-03-12	2	-33/+42
\| \| \| \|	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	2	-16/+14
\|
*	Update dhall-lang and reactivate prelude tests	Nadrieril	2019-03-11	1	-127/+127
\|
*	Normalize lazily	Nadrieril	2019-03-11	1	-166/+212
\| \| \| \|	Closes #7
*	Considerably simplify typecheck using dhall_expr!()	Nadrieril	2019-03-09	1	-96/+50
\| \| \| \|	Closes #17
*	Add typecheck tests	Nadrieril	2019-03-09	2	-0/+178
\| \| \| \|	Closes #4
*	Obey clippy lints	Nadrieril	2019-03-09	5	-6/+10
\| \| \| \|	Closes #14