16407 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	684af38fe9	Merge branch 'generic-term-comparability-and-equivalence' into simplified-high-level-flow	2017-10-03 16:23:50 -04:00
Rob Rix	d9a0a87531	📝 comparableTo on Union.	2017-10-03 16:04:22 -04:00
Rob Rix	0c1f0b0e46	Correct the docs for the Diffable instance for Unions.	2017-10-03 16:02:23 -04:00
Rob Rix	b4f0cee138	📝 Equivalence.	2017-10-03 16:00:35 -04:00
Rob Rix	2c7e901043	📝 equivalentTerms.	2017-10-03 15:58:52 -04:00
Rob Rix	8f09c1c1bc	📝 comparableTerms.	2017-10-03 15:55:12 -04:00
Rob Rix	e7306fa43e	📝 comparableTo.	2017-10-03 15:51:56 -04:00
Rob Rix	048f66dec8	📝 equivalentBySubterm.	2017-10-03 15:49:06 -04:00
Rob Rix	8e9158c7f0	🔥 subequivalenceTo.	2017-10-03 15:37:51 -04:00
Rob Rix	cceed47743	Determine subequivalence using Equivalence & subalgorithmFor.	2017-10-03 15:37:42 -04:00
Rob Rix	8c9be81e51	Define an Equivalence functor.	2017-10-03 15:37:17 -04:00
Rob Rix	2e2d32c985	Merge branch 'master' into generic-term-comparability-and-equivalence	2017-10-03 15:31:58 -04:00
Rob Rix	b0723ee027	Clarify the comment on the inclusion of Method in Python.	2017-10-03 15:31:18 -04:00
Rob Rix	1a10479af6	🔥 Declaration.Function, Declaration.Method, & Syntax.Context from JSON syntax.	2017-10-03 15:30:13 -04:00
Rob Rix	d2382539d1	🔥 Declaration.Function, Declaration.Method, & Syntax.Context from Markdown syntax.	2017-10-03 15:29:37 -04:00
Rob Rix	4717bde7a8	Generalize diffTerms over the syntax functor.	2017-10-03 15:28:40 -04:00
Rob Rix	d2c9faf96f	🔥 the membership constraints on diffTerms.	2017-10-03 15:27:36 -04:00
Rob Rix	0fecda703a	Update the fixtures.	2017-10-03 15:26:50 -04:00
Rob Rix	27758821e8	Use the comparableTerms relation in the RWS tests.	2017-10-03 15:10:11 -04:00
Rob Rix	0d790823ab	Use comparableTerms as the comparability relation for à la carte terms.	2017-10-03 14:59:41 -04:00
Rob Rix	ecfb920291	🔥 the export of equivalentTerms from Interpreter.	2017-10-03 14:59:19 -04:00
Rob Rix	d453a7f2df	Define a comparability relation for terms.	2017-10-03 14:58:14 -04:00
Rob Rix	adcaed3ec0	Define a Diffable method to determine comparability.	2017-10-03 14:57:06 -04:00
Rob Rix	22f5fd46d3	Rename the genericAlgorithmFor bindings.	2017-10-03 14:44:14 -04:00
Rob Rix	ced2396fde	Lift subterm equivalence into Unions.	2017-10-03 14:38:10 -04:00
Rob Rix	59ee7e2251	Use the Diffable-generic definition of term equivalence for à la carte syntax.	2017-10-03 14:31:54 -04:00
Rob Rix	6536c4b06f	Term equivalence falls back to recursively lifted equality.	2017-10-03 14:31:06 -04:00
Rob Rix	407d368c90	Determine equivalence by name for Declaration.Method.	2017-10-03 14:21:06 -04:00
Rob Rix	614c26749e	Determine equivalence by name for Declaration.Function.	2017-10-03 14:20:45 -04:00
Rob Rix	6718a713e2	Determine equivalence by subject for Context.	2017-10-03 14:20:06 -04:00
Rob Rix	910c179bbe	Determine equivalence by the nominated subterm first.	2017-10-03 14:19:26 -04:00
Rob Rix	aca3a2cf99	Add a Diffable method to select a subterm to compute equivalence by.	2017-10-03 14:18:55 -04:00
Rob Rix	8471486d1a	Revert "Define subequivalence of Functions." ... This reverts commit da65ddc832de7a61ba93e5463bc17128762e7600.	2017-10-03 14:12:41 -04:00
Rob Rix	1c5db3a82f	Revert "Define subequivalence of Methods." ... This reverts commit 902db7cde56b43143212ac9d491a63c64d8f8ff8.	2017-10-03 14:12:37 -04:00
joshvera	bd6a098f57	Merge remote-tracking branch 'origin/master' into typescript-cleanup	2017-10-03 10:55:41 -07:00
Rob Rix	695ceb7d62	Define equivalence in terms of lifted equality.	2017-10-03 13:33:04 -04:00
Rob Rix	82244515f8	Define a function computing the equivalence of terms based on subequivalence.	2017-10-03 13:27:02 -04:00
Rob Rix	98ac25fe84	Define subequivalence of Methods.	2017-10-03 13:26:29 -04:00
Rob Rix	e52e69e08b	Define subequivalence of Functions.	2017-10-03 13:26:17 -04:00
Rob Rix	67cb2b3ea7	Define subequivalence of Context nodes.	2017-10-03 13:26:08 -04:00
Rob Rix	2fc976dd0e	Define subequivalence of Unions.	2017-10-03 13:26:02 -04:00
Rob Rix	124e2b30a6	Define a subequivalence method on Diffable.	2017-10-03 13:25:27 -04:00
Rob Rix	fcc24d572f	Rename the bindings in subalgorithmFor.	2017-10-03 13:25:17 -04:00
Timothy Clem	6f3d1108c9	Merge pull request #1380 from github/enable-ruby-assignment ... Always use assignment parser for Ruby	2017-10-03 09:55:21 -07:00
Rob Rix	1e14133272	Remove the suffix when we don’t know which side it’s on.	2017-10-03 12:40:24 -04:00
Rob Rix	9c49698894	Correct the docs for algorithmForTerms.	2017-10-03 12:40:24 -04:00
Rob Rix	b75fc8cc88	Name the variables in Diffable a1/a2 &c consistently.	2017-10-03 12:40:24 -04:00
Rob Rix	e6fbf274be	Remove the suffix when we don’t know which side it’s on.	2017-10-03 12:28:15 -04:00
Rob Rix	8e4b3f807b	Correct the docs for algorithmForTerms.	2017-10-03 12:22:23 -04:00
Rob Rix	15f220e5aa	Name the variables in Diffable a1/a2 &c consistently.	2017-10-03 12:20:52 -04:00