26 Commits

Author	SHA1	Message	Date
Rob Rix	6aa1736fbc	Shrink ranged terms.	2015-10-19 11:38:32 -04:00
Rob Rix	2a313b18a1	Compute the unannotated term corresponding to ranged terms.	2015-10-19 11:37:13 -04:00
Rob Rix	e438646045	Move UnannotatedTerm to its own file.	2015-10-16 17:16:34 -04:00
Rob Rix	34777ef796	Tacit.	2015-10-16 17:07:45 -04:00
Rob Rix	0c75c7d600	Pick a number by fiat.	2015-10-16 17:03:07 -04:00
Rob Rix	2aed2e3d51	Choose from a strictly smaller k.	2015-10-16 17:01:16 -04:00
Rob Rix	6627d40bf9	Recur through a strictly smaller k.	2015-10-16 17:00:10 -04:00
Rob Rix	03a9e74dbc	Extract a function for computing arbitrary terms.	2015-10-16 16:58:46 -04:00
Rob Rix	63ffe0a596	Use symbols for keys.	2015-10-16 15:22:07 -04:00
Rob Rix	e85566bfeb	Use symbols for leaves.	2015-10-16 15:21:58 -04:00
Rob Rix	057a847f30	Add a generator for symbols. ... Right now just _<hex digit>	2015-10-16 15:21:27 -04:00
Rob Rix	d413f24e57	Delay the arbitrary sub-term.	2015-10-16 15:17:47 -04:00
Rob Rix	c9bc15bcc9	Revert "Add a delay combinator." ... This reverts commit 2feeac9065de48f6e5cb412752a6a8e4d2fcf5ca.	2015-10-16 15:17:05 -04:00
Rob Rix	0622a984dc	Delay recurrence. ... Inlined because Swift.	2015-10-16 15:17:00 -04:00
Rob Rix	989a2d7319	Add a delay combinator.	2015-10-16 15:12:08 -04:00
Rob Rix	e6ac782e84	Implement the computation of arbitrary ranged terms.	2015-10-16 15:06:27 -04:00
Rob Rix	541897aa43	Arrange unannotated terms.	2015-10-16 15:05:01 -04:00
Rob Rix	5beccbdca2	Compute the source of unannotated terms.	2015-10-16 14:40:18 -04:00
Rob Rix	4a24c3f872	Generate arbitrary keyed terms.	2015-10-16 14:30:53 -04:00
Rob Rix	cc1f0a07a3	Rename the branch case to indexed.	2015-10-16 14:26:58 -04:00
Rob Rix	c249f1de8a	Construct arbitrary unannotated branches.	2015-10-16 14:26:46 -04:00
Rob Rix	6a4e1dca39	Construct arbitrary unannotated leaves.	2015-10-16 14:26:32 -04:00
Rob Rix	412ea9cc04	Add unannotated terms.	2015-10-16 14:24:17 -04:00
Rob Rix	570d4efa5d	Generate arbitrary leaves.	2015-10-16 13:23:38 -04:00
Rob Rix	a3ef491de4	Stub in Arbitrary conformance.	2015-10-16 12:28:49 -04:00
Rob Rix	c415a6aafd	Add a RangedTerm struct wrapping ranged terms.	2015-10-16 12:28:16 -04:00