16451 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	686da3aa42	🔥 the syntaxParser bindings.	2017-10-03 11:52:55 -04:00
Rob Rix	13b79db26e	Reformat the diffBlobPair syntaxParser cases.	2017-10-03 11:49:14 -04:00
Timothy Clem	c34054322d	Merge branch 'master' into enable-ruby-assignment	2017-10-03 08:38:57 -07:00
Rob Rix	eedceb2a7f	Reformat the guard clause for ToC term rendering.	2017-10-03 11:01:00 -04:00
Rob Rix	b179269ed6	Combine the cases for s-expression term rendering.	2017-10-03 11:00:22 -04:00
Rob Rix	d6c98092bc	Combine the cases for JSON term rendering.	2017-10-03 11:00:14 -04:00
Rob Rix	7a6d92ce15	Combine the à la carte JSON term rendering paths.	2017-10-03 10:53:28 -04:00