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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Small mistake	Nadrieril	2019-05-07	2	-2/+4
\|
*	Document Value and Thunk	Nadrieril	2019-05-07	2	-8/+21
\|
*	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	6	-119/+27
\|
*	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	3	-117/+43
\|
*	Fix derive	Nadrieril	2019-05-07	3	-3/+5
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	10	-1199/+1217
\|
*	Move api-related modules into an api module	Nadrieril	2019-05-06	7	-38/+41
\|
*	Consolidate errors in the error module	Nadrieril	2019-05-06	42	-188/+196
\|
*	Reorganize dhall into a phase structure	Nadrieril	2019-05-06	15	-477/+499
\|
*	Merge TypedInternal and Typed	Nadrieril	2019-05-06	4	-75/+34
\|
*	Remove main	Nadrieril	2019-05-05	1	-93/+0
\|
*	s/DoubleVar/AlphaVar/	Nadrieril	2019-05-05	3	-44/+44
\|
*	Implement normalization simplifications	Nadrieril	2019-05-05	1	-10/+15
\|
*	Preserve text WHNF on concatenation	Nadrieril	2019-05-05	1	-9/+9
\|
*	WHNF for TextLit means no interpolations of text and strict alternation	Nadrieril	2019-05-05	1	-41/+63
\|
*	Fix Integer equality	Nadrieril	2019-05-05	1	-4/+5
\|
*	Merge branch 'alpha-normalization'	Nadrieril	2019-05-05	5	-269/+312
\|\
\| *	Make Value equality be alpha-equivalence	Nadrieril	2019-05-05	3	-21/+99
\| \| \| \| \| \| \| \|	Closes #66, #65
\| *	Use alpha-normalization in equivalence checking	Nadrieril	2019-05-05	1	-80/+2
\| \|
\| *	Implement alpha-normalization	Nadrieril	2019-05-05	4	-69/+194
\| \| \| \| \| \| \| \|	Closes #12
\| *	Clarify match_vars implementation	Nadrieril	2019-05-04	1	-12/+12
\| \|
\| *	subst_shift now correctly preserves WHNF	Nadrieril	2019-05-04	1	-26/+24
\| \|
\| *	We actually don't need SubExpr::shift anymore	Nadrieril	2019-05-04	2	-85/+5
\| \|
\| *	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	2019-05-04	12	-351/+303
\| \| \| \| \| \| \| \|	This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
\| *	Revert "Recover arrow type detection"	Nadrieril	2019-05-04	2	-47/+19
\| \| \| \| \| \| \| \|	This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2.
\| *	Recover arrow type detection	Nadrieril	2019-05-04	2	-19/+47
\| \|
\| *	Make SubExpr generic in the variable labels type	Nadrieril	2019-05-04	12	-303/+351
\|/
*	Keep Spans through normalization and typechecking	Nadrieril	2019-05-04	3	-36/+39
\|
*	Thread Spans through the AST	Nadrieril	2019-05-04	5	-129/+141
\|
*	Move `Note`s into the spine of the AST	Nadrieril	2019-05-04	7	-247/+86
\|
*	Remove dummy lifetimes	Nadrieril	2019-05-04	10	-328/+260
\|
*	Replace pest::Span with a custom non-borrowing implementation	Nadrieril	2019-05-04	1	-25/+50
\|
*	rustfmt	Nadrieril	2019-05-04	4	-4/+4
\|
*	Rename dhall_generator to dhall_proc_macros	Nadrieril	2019-05-04	12	-17/+17
\|
*	Rename dhall_core to dhall_syntax	Nadrieril	2019-05-04	27	-89/+89
\|
*	No need for extra stack in tests anymore	Nadrieril	2019-05-03	3	-44/+6
\|
*	Remove some deprecated functions	Nadrieril	2019-05-03	3	-124/+30
\|
*	Rework normalization to reduce expensive Value copying	Nadrieril	2019-05-03	1	-457/+494
\|
*	Apply builtin arguments lazily	Nadrieril	2019-05-03	1	-143/+165
\|
*	Avoid unnecessary RefCell::borrow_mut	Nadrieril	2019-05-03	2	-20/+37
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	1	-0/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	5	-6/+48
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	4	-74/+93
\|
*	Update normalization tests	Nadrieril	2019-05-02	2	-12/+13
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	2	-16/+25
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	4	-3/+15
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-02	5	-29/+44
\|
*	Typecheck text interpolation	Nadrieril	2019-05-02	1	-3/+16
\|
*	Typecheck missing builtin cases	Nadrieril	2019-05-02	1	-29/+47
\|
*	Merge branch 'refactor-typechecking'	Nadrieril	2019-05-02	10	-829/+1774
\|\