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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Properly substitute when typing App	Nadrieril	2019-04-29	2	-57/+218
\|
*	Use PartiallyNormalized throughout typechecking	Nadrieril	2019-04-28	3	-93/+95
\|
*	Move Pi to WHNF	Nadrieril	2019-04-27	2	-36/+51
\|
*	Builtins	Nadrieril	2019-04-27	2	-30/+11
\|
*	Replace TypeInternal::UnionType with WHNF::UnionType	Nadrieril	2019-04-27	1	-23/+23
\|
*	Replace TypeInternal::RecordType with WHNF::RecordType	Nadrieril	2019-04-27	2	-32/+68
\|
*	Rework TypeInternal	Nadrieril	2019-04-27	1	-83/+72
\|
*	Store thunks uniformly in WHNF	Nadrieril	2019-04-27	1	-59/+42
\|
*	Abstract out thunks in type position	Nadrieril	2019-04-27	1	-22/+64
\|
*	Rename Now to Thunk	Nadrieril	2019-04-27	1	-45/+44
\|
*	Define new intermediate expression type	Nadrieril	2019-04-27	2	-19/+43
\|
*	Using only shift0 was not such a great idea	Nadrieril	2019-04-27	1	-23/+19
\|
*	Lists and Optionals	Nadrieril	2019-04-26	1	-42/+94
\|
*	ensure_is_const is not that helpful	Nadrieril	2019-04-26	1	-59/+35
\|
*	Union types	Nadrieril	2019-04-26	1	-66/+117
\|
*	Respect import boundary in normalization	Nadrieril	2019-04-25	1	-1/+3
\|
*	Fix shifting again	Nadrieril	2019-04-25	1	-13/+9
\|
*	Now I can use TypeInternal::RecordType fully	Nadrieril	2019-04-25	1	-11/+10
\|
*	Revert "Try property testing against reference implementation"	Nadrieril	2019-04-25	2	-134/+0
\| \| \| \|	This reverts commit ff1bee1b115a5b9528be621502719cc4faeffaee.
*	Try property testing against reference implementation	Nadrieril	2019-04-25	2	-0/+134
\|
*	Correctly shift values before inserting into context	Nadrieril	2019-04-25	1	-4/+7
\|
*	normalize_to_type can use the captured context	Nadrieril	2019-04-25	1	-14/+14
\|
*	RecordTypes	Nadrieril	2019-04-23	1	-62/+108
\|
*	Fix shifting under Pi	Nadrieril	2019-04-23	1	-13/+29
\|
*	Silence warnings	Nadrieril	2019-04-23	2	-0/+5
\|
*	Avoid duplicating TypeInternal in TypedImproved	Nadrieril	2019-04-23	1	-44/+40
\|
*	Avoid constructing ExprF::Pi while typechecking	Nadrieril	2019-04-23	1	-57/+93
\|
*	Avoid duplicating work when matching on Pi types	Nadrieril	2019-04-23	5	-40/+118
\|
*	Pass TypedImproved directly to type_last_layer	Nadrieril	2019-04-23	1	-40/+55
\|
*	Temporarily simplify functions depending on TypeInternal	Nadrieril	2019-04-22	3	-41/+35
\|
*	Pass through new TypedImproved type	Nadrieril	2019-04-22	1	-25/+92
\|
*	Store context in Typed	Nadrieril	2019-04-22	3	-33/+39
\|
*	Avoid shift_subst in typecheck	Nadrieril	2019-04-22	2	-32/+40
\|
*	Prepare for interop between two contexts	Nadrieril	2019-04-21	3	-25/+91
\|
*	Factor out context handling	Nadrieril	2019-04-21	2	-19/+34
\|
*	Embrace TypeInternal as a semantic value	Nadrieril	2019-04-21	4	-9/+25
\|
*	Move TypeInternal to typecheck	Nadrieril	2019-04-20	2	-23/+31
\|
*	Cleanup	Nadrieril	2019-04-20	1	-3/+0
\|
*	Improve test failure ergonomics	Nadrieril	2019-04-20	2	-10/+6
\|
*	An empty optional value is purely semantic	Nadrieril	2019-04-20	3	-16/+7
\|
*	Implement more normalization simplifications	Nadrieril	2019-04-20	1	-9/+16
\|
*	shift by mutable ref to avoid reallocations	Nadrieril	2019-04-20	1	-80/+71
\|
*	Tweaks	Nadrieril	2019-04-20	1	-5/+6
\|
*	AppliedBuiltin does not need a context	Nadrieril	2019-04-20	1	-25/+23
\|
*	Avoid a lot of unnecessary cloning in apply_builtin	Nadrieril	2019-04-20	2	-126/+184
\|
*	Cleanup	Nadrieril	2019-04-20	1	-166/+144
\|
*	Swap import	Nadrieril	2019-04-20	1	-62/+54
\|
*	Remove last remnant of expr building	Nadrieril	2019-04-20	1	-12/+29
\|
*	Introduce special closures to avoid constructing exprs	Nadrieril	2019-04-20	1	-34/+67
\|
*	Avoid a lot of slow Expr costruction	Nadrieril	2019-04-20	1	-73/+52
\|