1058 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	02e5ed7539	Bail if a and b are not comparable.	2015-10-15 12:15:50 -04:00
Rob Rix	482aa3b907	Document recur.	2015-10-15 12:15:30 -04:00
Rob Rix	6263645728	Add a comparable parameter.	2015-10-15 12:15:27 -04:00
Rob Rix	53ea4fcf36	Interpretation of .ByIndex algorithms.	2015-10-15 11:51:01 -04:00
Rob Rix	932bc44778	Add a private cost parameter to Interpreter.	2015-10-15 11:50:43 -04:00
Rob Rix	5a6b96e38b	Interpret .ByKey algorithms.	2015-10-15 11:50:04 -04:00
Rob Rix	ca3023dce3	Document the interpretation of .Recursive nodes.	2015-10-15 11:48:49 -04:00
Rob Rix	7771edccf5	.Recursive replaces.	2015-10-15 11:47:27 -04:00
Rob Rix	2dbfd51f15	Recur through pairs of .Keyed nodes with equal keys.	2015-10-15 11:45:40 -04:00
Rob Rix	52c1b581c6	Recur through pairs of equal-length indexed terms.	2015-10-15 11:33:13 -04:00
Rob Rix	8680bb4165	Infer a type.	2015-10-15 11:29:56 -04:00
Rob Rix	ac84875a4b	Return pure diffs.	2015-10-15 11:29:49 -04:00
Rob Rix	0960bdacf4	Extract a method recurring over algorithms.	2015-10-15 11:29:04 -04:00
Rob Rix	7a31fe7e75	The equality parameter is private.	2015-10-15 11:27:44 -04:00
Rob Rix	3c08972026	Extract a private recurrence method.	2015-10-15 11:26:35 -04:00
Rob Rix	9a98450cfe	Merge branch 'patch-constructors-on-diff' into interpreter	2015-10-15 11:23:18 -04:00
Rob Rix	0b916807a2	Use the patch constructors in recursive evaluation.	2015-10-15 11:21:23 -04:00
Rob Rix	d74e4fb231	Missed a couple of cases in SES.	2015-10-15 11:20:41 -04:00
Rob Rix	eda4ece5a8	Use the patch constructors in dictionary diffing.	2015-10-15 11:20:07 -04:00
Rob Rix	fed0d91d30	Use the patch constructors in SES.	2015-10-15 11:19:14 -04:00
Rob Rix	298a37c444	Section header for patch construction.	2015-10-15 11:18:16 -04:00
Rob Rix	6ee73cca06	We don’t need Cofree terms to construct patches.	2015-10-15 11:18:06 -04:00
Rob Rix	cd7e67c30d	Remove the convenience functions.	2015-10-15 11:16:27 -04:00
Rob Rix	b4ea7b70bc	Use the Diff/Patch constructors in the tests.	2015-10-15 11:16:21 -04:00
Rob Rix	9e80e0c903	Add a Delete constructor to Free when used as a diff.	2015-10-15 11:11:06 -04:00
Rob Rix	ce633f555a	Add an Insert constructor to Free when used as a diff.	2015-10-15 11:10:35 -04:00
Rob Rix	8366dc752a	Add a Replace constructor to Free when used as a Diff.	2015-10-15 11:10:16 -04:00
Rob Rix	787681eafc	Construct an algorithm.	2015-10-15 11:07:35 -04:00
Rob Rix	98d333d721	Test equality, otherwise replace.	2015-10-15 11:04:37 -04:00
Rob Rix	6f71a42509	Running takes a pair of Terms.	2015-10-15 11:03:15 -04:00
Rob Rix	0cedf87540	Interpreter has a Diff typealias.	2015-10-15 11:01:35 -04:00
Rob Rix	a9f5075d3e	Interpreter has an equality function.	2015-10-15 11:00:49 -04:00
Rob Rix	22cb1e00d5	Abstract Interpreter over a TermType.	2015-10-15 11:00:27 -04:00
Rob Rix	1a4151b2a9	Stub in running.	2015-10-15 10:58:57 -04:00
Rob Rix	28c5fb81a2	Rename B to Result.	2015-10-15 10:49:39 -04:00
Rob Rix	30e9ac9106	Stub in docs for Interpreter.	2015-10-15 10:45:32 -04:00
Rob Rix	6a955d5e88	Stub in Interpreter.	2015-10-15 10:45:11 -04:00
Rob Rix	a7192afc47	Merge branch 'patch-costs-are-proportional-to-the-size-of-their-trees' into interpreter	2015-10-15 10:42:02 -04:00
Rob Rix	9789cbab9d	Merge branch 'restrict-comparisons-by-category' into interpreter	2015-10-15 10:41:53 -04:00
Rob Rix	dfa34aa13c	Merge branch 'master' into patch-costs-are-proportional-to-the-size-of-their-trees	2015-10-15 09:48:15 -04:00
Rob Rix	260a317194	Merge branch 'master' into restrict-comparisons-by-category ... Conflicts: prototype/Doubt.xcodeproj/project.pbxproj	2015-10-15 09:47:49 -04:00
Rob Rix	e635668719	Merge pull request #116 from github/remove-hash ... Remove Hash	2015-10-15 09:46:03 -04:00
Rob Rix	48234b71c2	Remove Hash.	2015-10-15 09:44:40 -04:00
Rob Rix	77a32f9e8d	Remove Patch hashing.	2015-10-15 09:44:36 -04:00
Rob Rix	f30d2d609a	Remove Syntax hashing.	2015-10-15 09:43:51 -04:00
Rob Rix	1cbc04100d	Remove Free hashing.	2015-10-15 09:43:27 -04:00
Rob Rix	8b5a269d5e	Remove Cofree hashing.	2015-10-15 09:43:23 -04:00
Rob Rix	db6d485f82	Merge pull request #115 from github/remove-category ... Remove Category.	2015-10-15 09:40:47 -04:00
Rob Rix	9ac09dea2c	Remove Category.	2015-10-15 09:40:36 -04:00
Rob Rix	605784965f	Merge pull request #114 from github/remove-info ... Remove Info.	2015-10-15 09:39:52 -04:00