16152 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	846d236fda	postContextualize memberExpression	2017-09-25 18:09:22 -04:00
joshvera	11774c3f74	remove import	2017-09-25 17:44:14 -04:00
Josh Vera	0e5de4ce48	Merge branch 'master' into typescript-assignment	2017-09-25 16:37:11 -04:00
Rob Rix	4c4ae14bf8	Sort the context.	2017-09-25 16:00:37 -04:00
Rob Rix	093a02dc88	🔥 a redundant Functor constraint.	2017-09-25 15:56:31 -04:00
joshvera	4eef25d9a7	don't contextualize otherwise diffing can change	2017-09-25 15:43:48 -04:00
joshvera	1d8fe40267	newline	2017-09-25 15:18:44 -04:00
joshvera	7f81d8982d	Add TOCSpec	2017-09-25 14:11:15 -04:00
joshvera	d059c26fbc	bring old typescript term assignment back	2017-09-25 14:07:35 -04:00
joshvera	fe816c4100	missed one	2017-09-25 14:06:01 -04:00
joshvera	65912d8387	remove redundant pattern matches	2017-09-25 14:02:53 -04:00
joshvera	44d895388d	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-25 13:47:46 -04:00
joshvera	bd440ea8d0	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-25 13:40:10 -04:00
Timothy Clem	34da19750b	Merge pull request #1323 from github/ruby-assignment-ftw ... WIP: Ruby assignment FTW!	2017-09-25 10:37:52 -07:00
Rob Rix	c7685757d1	Reformat genericAlgorithmFor’s type signature.	2017-09-25 12:24:42 -04:00
Rob Rix	e528bd3c6c	Export the comparability relation driver.	2017-09-25 12:11:29 -04:00
Timothy Clem	0642755c35	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-25 09:08:14 -07:00
Rob Rix	e142157ab9	Pass decoratingWith the comparability & equivalence relations.	2017-09-25 12:05:31 -04:00
Rob Rix	fb56d8b604	Merge branch 'master' into substructural-diffing	2017-09-25 11:59:14 -04:00
Timothy Clem	f40b6fd1c8	Merge pull request #1348 from github/toc-assignment ... New --toc-assignment flag	2017-09-25 08:55:59 -07:00
Timothy Clem	289b342ba0	Merge branch 'master' into toc-assignment	2017-09-25 08:47:30 -07:00
Rob Rix	c7c1161310	Merge branch 'master' into substructural-diffing	2017-09-25 11:47:26 -04:00
Rob Rix	7e167a75b4	Merge pull request #1341 from github/alternative-algorithms ... Alternative Algorithms	2017-09-25 11:46:47 -04:00
Rob Rix	5d812f3a03	Merge branch 'master' into alternative-algorithms	2017-09-25 11:44:17 -04:00
Timothy Clem	4b311dba8e	Merge pull request #1349 from github/log-tags ... Tag log entries so we can sort, filter, and stat	2017-09-25 08:43:13 -07:00
Rob Rix	8babcb9579	🔥 Symmetrical.	2017-09-25 11:35:10 -04:00
Rob Rix	8975856504	Merge branch 'alternative-algorithms' into substructural-diffing	2017-09-25 11:30:58 -04:00
Rob Rix	76037c08b2	Merge branch 'master' into alternative-algorithms	2017-09-25 11:29:44 -04:00
Rob Rix	7786e35bfe	Opt Context nodes into comparisons.	2017-09-25 11:28:19 -04:00
Timothy Clem	ddebcc044d	Make it really clear where we are headed	2017-09-25 08:24:48 -07:00
Rob Rix	c3e7c62fcf	Limit the Interpreter exports.	2017-09-25 11:24:21 -04:00
Rob Rix	67a6071245	Revert "Provide a diffThese wrapper which falls back by replacing." ... This reverts commit 3a34cd01481bd0aab038faf41c8aaf613e5e3773.	2017-09-25 11:06:56 -04:00
Timothy Clem	0290e63095	Whoops, these need to be tuples	2017-09-25 08:06:11 -07:00
Rob Rix	6df6c80202	Spacing.	2017-09-25 11:02:07 -04:00
Rob Rix	4c87a91f19	Use the correct functions in the diffs.	2017-09-25 10:57:28 -04:00
Rob Rix	919f166f7a	Move diffRecursively into Interpreter & rename.	2017-09-25 10:55:44 -04:00
Rob Rix	e075cf491d	Provide a diffThese wrapper which falls back by replacing.	2017-09-25 10:33:59 -04:00
Rob Rix	3c09621891	Eta-reduce algorithmFor.	2017-09-25 09:10:44 -04:00
Rob Rix	bee5470602	Fix some more indentation.	2017-09-23 09:12:58 -04:00
Rob Rix	345d0d910f	Fix some indentation.	2017-09-23 09:12:19 -04:00
Rob Rix	28c318900d	🔥 redundant parens.	2017-09-23 09:04:19 -04:00
Rob Rix	c9311c0607	Generalize runAlgorithm to produce any result type.	2017-09-23 08:52:11 -04:00
Rob Rix	aa8fe13355	Correct the indentation of the runAlgorithm signature.	2017-09-23 08:51:22 -04:00
Rob Rix	dd9b811aeb	Linearly operates on terms once more.	2017-09-22 23:07:41 -04:00
Rob Rix	528728d01c	Redefine GAlign to merge into an Alternative context.	2017-09-22 23:02:08 -04:00
Rob Rix	af5fc79ed5	Simplify the flow a little.	2017-09-22 22:30:16 -04:00
Rob Rix	9c1ef71a78	Re-abstract Algorithm over the term and result types.	2017-09-22 22:24:50 -04:00
Rob Rix	88b52bed3d	Recur via diff.	2017-09-22 22:24:36 -04:00
Rob Rix	9c5b669fbb	Generalize Linear to operate on the syntax functor.	2017-09-22 22:00:00 -04:00
Rob Rix	dc32dfdcd9	Generalize subalgorithmFor over arbitrary Alternative functors.	2017-09-22 21:35:37 -04:00