11571 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	928360571b	bump gitlib	2017-04-03 12:37:32 -04:00
Rob Rix	d24469aaef	Clarify that parallelization is TBD.	2017-04-03 12:33:53 -04:00
Rob Rix	d58b7d1a89	Spacing.	2017-04-03 12:33:36 -04:00
Rob Rix	b396551aed	Generalize the diff command over the field types.	2017-04-03 12:32:36 -04:00
Rob Rix	70cffaa9a3	📝 runCommand.	2017-04-03 12:29:14 -04:00
Rob Rix	51bb7c1b33	📝 the commands.	2017-04-03 12:28:43 -04:00
Rob Rix	670b85edc9	Eta-reduce runDiffRenderer.	2017-04-03 12:22:11 -04:00
Rob Rix	516f888ac8	Export the Command terms.	2017-04-03 12:18:48 -04:00
Rob Rix	37e21217e2	Import the command modules directly.	2017-04-03 12:18:40 -04:00
Rob Rix	f172c1b6ae	🔥 TermProjection.	2017-04-03 12:14:26 -04:00
Rob Rix	6802765865	🔥 a redundant comment.	2017-04-03 12:10:11 -04:00
Rob Rix	16860c33c3	Move the CommandF type down.	2017-04-03 12:09:59 -04:00
Rob Rix	8f7559f81c	Define smart constructors for the Command instructions.	2017-04-03 12:09:05 -04:00
Rob Rix	2f10158596	Placate hlint.	2017-04-03 12:05:52 -04:00
Rob Rix	42b0c2503f	The ReadFilesAtSHAs command takes a list of alternative object dirs.	2017-04-03 12:04:54 -04:00
Rob Rix	20504b9991	Extract the evaluators into their own functions.	2017-04-03 12:02:40 -04:00
joshvera	b087a35c77	Remove openssl from Brewfile	2017-04-03 11:56:48 -04:00
Rob Rix	28c57f84b1	🔥 term renderers.	2017-04-03 11:53:27 -04:00
Rob Rix	614124a070	🔥 a redundant comment.	2017-04-03 11:29:53 -04:00
Rob Rix	eaddc5965e	Tidy up the type signature for identifierFor.	2017-04-03 10:40:15 -04:00
Rob Rix	89e1017f9e	Define an identifier decorator.	2017-04-03 10:40:05 -04:00
Rob Rix	442746ddb8	Term decorators operate over complete subterms.	2017-04-03 10:39:58 -04:00
Rob Rix	c2fc77faeb	Tighten up termSourceTextDecorator.	2017-04-03 10:39:28 -04:00
Rob Rix	4a8311892b	🔥 some unnecessary foralls.	2017-04-03 10:35:00 -04:00
Rob Rix	cb0950ed64	Define an Identifier type.	2017-04-03 10:10:58 -04:00
Rob Rix	b374a7be9d	Define a term renderer command.	2017-03-31 23:03:23 -04:00
Rob Rix	87fc2afafa	Define term renderers.	2017-03-31 23:03:12 -04:00
Rob Rix	2aa1bf934b	Define runDiffRenderer' in tacit style.	2017-03-31 23:02:56 -04:00
Rob Rix	551e4e37dd	Sort the Diff import up.	2017-03-31 23:02:41 -04:00
Rob Rix	90c2290183	Define an evaluator for TermProjection.	2017-03-31 22:39:52 -04:00
Rob Rix	db5d3ba11a	Generalize identifierFor.	2017-03-31 22:39:37 -04:00
Rob Rix	c3b849105f	Define a TermProjection datatype.	2017-03-31 22:32:29 -04:00
Rob Rix	1cd2b5456b	🔥 redundant parens in sacrifice to hlint.	2017-03-31 19:44:04 -04:00
Rob Rix	c183f0ab75	Tighten up makeNode.	2017-03-31 19:43:53 -04:00
Rob Rix	0a6612d504	roll parseNodeForTermF into parseRoot.	2017-03-31 19:35:16 -04:00
Rob Rix	3b37f6f2b8	Fold buildParseNodes back into parseRoot.	2017-03-31 19:29:48 -04:00
Rob Rix	3484b04960	Replace parseRoot’s algebra with a constructor for the recursive structure.	2017-03-31 19:25:28 -04:00
Rob Rix	c18e332e28	ParseNode is a leaf in a list and a rose tree.	2017-03-31 19:15:20 -04:00
Rob Rix	9d7ee81064	Base, Recursive, and Corecursive instances for Rose.	2017-03-31 19:14:42 -04:00
Rob Rix	2477035b9d	Define a Rose tree type.	2017-03-31 19:13:03 -04:00
Rob Rix	c0578deeca	Extract a parseRoot function out of parseIndex and parseTree.	2017-03-31 18:02:10 -04:00
Rob Rix	9c83be8b99	Application instead of composition.	2017-03-31 17:51:24 -04:00
Rob Rix	90a2f97d47	Tidy up the buildParseNodes signature with RAlgebra.	2017-03-31 17:47:48 -04:00
Rob Rix	2d830b57bb	Pull the for out of buildParseNodes.	2017-03-31 17:44:50 -04:00
Rob Rix	d172d9440f	Use an R-algebra type synonym to tidy up the type signatures. ... 🎩 @patrickt.	2017-03-31 17:17:15 -04:00
Rob Rix	a0995343a3	Define a command to render a diff.	2017-03-31 17:03:17 -04:00
Rob Rix	70b5505852	Define an alternative evaluator producing the output type.	2017-03-31 16:54:55 -04:00
Rob Rix	bbe8d05e71	Export DiffRenderer and runDiffRenderer.	2017-03-31 16:50:13 -04:00
Rob Rix	0c6c57d3b3	Evaluate DiffRenderers.	2017-03-31 16:49:29 -04:00
Rob Rix	8dcc7703dc	Constrain ToCRenderer appropriately.	2017-03-31 16:49:09 -04:00