15 Commits

Author	SHA1	Message	Date
Rob Rix	a19101b89c	Construct much smaller terms.	2015-10-19 12:44:59 -04:00
Rob Rix	e78f5d5c43	Revert "UnannotatedTerm is Equatable." ... This reverts commit 76714ae37d821e270ec2e47037cd35f03c86344b.	2015-10-19 11:32:36 -04:00
Rob Rix	529a7163f6	Revert "UnannotatedTerm is Comparable." ... This reverts commit aac5b979c44d04566fe411cde4a9d857ef62a708.	2015-10-19 11:32:33 -04:00
Rob Rix	91342a0431	Document the returned array.	2015-10-19 11:31:48 -04:00
Rob Rix	7236a46679	Shrink keyed nodes.	2015-10-19 11:31:44 -04:00
Rob Rix	423d804254	Document the shrunk term.	2015-10-19 11:31:35 -04:00
Rob Rix	9e6aa171a7	Factor out the case.	2015-10-19 11:28:18 -04:00
Rob Rix	2da03dbb67	Shrink outward-in.	2015-10-19 11:27:05 -04:00
Rob Rix	8bd00f2414	Sort indexed alternatives.	2015-10-19 10:51:08 -04:00
Rob Rix	6e376d9d51	UnannotatedTerm is Comparable.	2015-10-19 10:50:19 -04:00
Rob Rix	df0ba4c10e	Attempt to shrink indexed terms.	2015-10-19 10:50:14 -04:00
Rob Rix	fe3236f7bb	UnannotatedTerm is Equatable.	2015-10-19 10:49:25 -04:00
Rob Rix	f440cf170e	Shrink by case analysis.	2015-10-19 10:47:24 -04:00
Rob Rix	b693578099	Stub in shrinking.	2015-10-19 10:35:58 -04:00
Rob Rix	e438646045	Move UnannotatedTerm to its own file.	2015-10-16 17:16:34 -04:00