7 Commits

Author	SHA1	Message	Date
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