20268 Commits

Author	SHA1	Message	Date
Rob Rix	3bddb423d6	Combine the DOTGraphTerm instances.	2019-10-21 10:32:54 -04:00
Rob Rix	ce1e8c5a20	Combine the à la carte ShowTerm/SExprTerm instances.	2019-10-18 23:32:47 -04:00
Rob Rix	86a3d93e2a	🔥 toGraph.	2019-10-18 23:17:54 -04:00
Rob Rix	dbdfe2b996	Combine all the parsers.	2019-10-18 23:16:34 -04:00
Rob Rix	a812cd0979	Combine all the DOTGraphDiff instances.	2019-10-18 23:10:44 -04:00
Rob Rix	39e3ed3be0	Combine all the JSONTreeDiff instances.	2019-10-18 23:09:02 -04:00
Rob Rix	a124842b83	Combine all the JSONGraphDiff instances.	2019-10-18 23:07:10 -04:00
Rob Rix	200b7bcf99	Combine all the ShowDiff instances.	2019-10-18 23:04:16 -04:00
Rob Rix	cc60ad5b94	Combine all the SExprDiff instances.	2019-10-18 23:02:20 -04:00
Rob Rix	65fdc32db4	🔥 DiffFor.	2019-10-18 22:59:35 -04:00
Rob Rix	df71a6dff2	Define the ShowTerm instances directly.	2019-10-18 22:52:58 -04:00
Rob Rix	0220c9bacf	🔥 the Term-generic SExprTerm & DOTGraphTerm instances.	2019-10-18 22:51:38 -04:00
Rob Rix	661eb7f9c2	🔥 the Term-generic ToTags instance.	2019-10-18 22:51:20 -04:00
Rob Rix	356934ae25	🔥 the Term-generic diff instances.	2019-10-18 22:49:19 -04:00
Rob Rix	3f24403a93	Define the rest of the term types recursively.	2019-10-18 22:45:24 -04:00
Rob Rix	c9db56d4a5	Define Ruby.Term recursively.	2019-10-18 22:34:24 -04:00
Rob Rix	2cf145c40f	🔥 the custom Diff types.	2019-10-18 22:27:34 -04:00
Rob Rix	ac37f99aa7	🔥 obsolete docs.	2019-10-18 22:18:05 -04:00
Rob Rix	1527140ddc	Eliminate the type family dependency on DiffFor.	2019-10-18 22:17:20 -04:00
Rob Rix	b335cabbc9	Factor out the common parts of jsonGraphDiff.	2019-10-18 22:14:08 -04:00
Rob Rix	6efa94230c	Define TypeScript.Term recursively.	2019-10-18 22:00:26 -04:00
Rob Rix	1e19d1afcf	Fix up the TSX.Term instances.	2019-10-18 21:44:52 -04:00
Rob Rix	a26e2bc026	Revert "Eliminate any dependency on DiffTerms." ... This reverts commit bf7577860f.	2019-10-18 21:41:55 -04:00
Rob Rix	8da1b8877d	Revert "Revert "Define TSX.Term recursively."" ... This reverts commit 5b64b3819c.	2019-10-18 21:40:23 -04:00
Rob Rix	b8db72c103	Revert "Revert "Generalize tagging over the term type."" ... This reverts commit 3b71047934.	2019-10-18 21:38:39 -04:00
Rob Rix	fcbcd0b495	Revert "Revert "Generalize Taggable over the term type."" ... This reverts commit 7baf284f44.	2019-10-18 21:38:35 -04:00
Rob Rix	4d8a367c90	Revert "Revert "🔥 redundant language extensions."" ... This reverts commit 37dd98f1fe.	2019-10-18 21:38:29 -04:00
Rob Rix	08b61dac5d	Revert "Revert "Align."" ... This reverts commit 6b33b3e15f.	2019-10-18 21:38:22 -04:00
Rob Rix	6415c15a5d	Revert "Revert "Generalize decoratorWithAlgebra over the term type."" ... This reverts commit af0384d69d.	2019-10-18 21:38:16 -04:00
Rob Rix	0eeaeb348e	Revert "Revert "Generalize infixContext over the term type."" ... This reverts commit 54b357f741.	2019-10-18 21:38:14 -04:00
Rob Rix	0a7ca427ca	Revert "Revert "Generalize postContextualize over the term type."" ... This reverts commit 0aeb77616d.	2019-10-18 21:38:11 -04:00
Rob Rix	885b0924cf	Revert "Revert "Generalize postContextualizeThrough over the term type."" ... This reverts commit 151e37ebf8.	2019-10-18 21:38:09 -04:00
Rob Rix	878d551b5a	Revert "Revert "Generalize contextualize over the term type."" ... This reverts commit 3db3f1c490.	2019-10-18 21:38:06 -04:00
Rob Rix	cbf67368f9	Revert "Revert "Generalize parseError over the term type."" ... This reverts commit 0bb8039218.	2019-10-18 21:38:03 -04:00
Rob Rix	9dd5476e35	Revert "Revert "Generalize handleError over the term type."" ... This reverts commit f71505d209.	2019-10-18 21:38:01 -04:00
Rob Rix	c70b412caf	Revert "Revert "Generalize emptyTerm over the term type."" ... This reverts commit d9c408a2f5.	2019-10-18 21:37:58 -04:00
Rob Rix	7241323cea	Revert "Revert "Generalize makeTerm1 over the term type."" ... This reverts commit 7edac28207.	2019-10-18 21:37:55 -04:00
Rob Rix	e923c373d9	Revert "Revert "Generalize makeTerm1' over the term type."" ... This reverts commit 8273312a7f.	2019-10-18 21:37:53 -04:00
Rob Rix	051bfa2774	Revert "Revert "Generalize makeTerm'' over the term type."" ... This reverts commit 1701fefd77.	2019-10-18 21:37:50 -04:00
Rob Rix	2976949de4	Revert "Revert "Generalize makeTerm over the term type."" ... This reverts commit 2449f9a94c.	2019-10-18 21:37:47 -04:00
Rob Rix	b09f45efe0	Revert "Revert "Generalize makeTerm' over the term type."" ... This reverts commit e0013aa8a9.	2019-10-18 21:37:44 -04:00
Rob Rix	b8b98fb6d8	Revert "Revert "🔥 guardTerm."" ... This reverts commit 0723859f33.	2019-10-18 21:37:42 -04:00
Rob Rix	242a305016	Revert "Revert "Abstract term injection & projection."" ... This reverts commit d5abb0fa75.	2019-10-18 21:37:38 -04:00
Rob Rix	1ebe2c3f6a	Revert "Revert "Give simpler primitives for IsTerm."" ... This reverts commit 9648b05ebd.	2019-10-18 21:37:36 -04:00
Rob Rix	9687d690a1	Revert "Revert "🔥 redundant quantifiers."" ... This reverts commit 477b4f1501.	2019-10-18 21:37:34 -04:00
Rob Rix	46c4c788c9	Revert "Revert "Define an abstraction over the Term introduction/elimination forms."" ... This reverts commit 7ab610a24d.	2019-10-18 21:37:31 -04:00
Rob Rix	80040853b7	🔥 ConstraintKinds.	2019-10-18 21:07:01 -04:00
Rob Rix	e5d8092488	🔥 DiffEffects.	2019-10-18 21:06:28 -04:00
Rob Rix	418e1543bf	Don’t export DiffEffects.	2019-10-18 21:04:02 -04:00
Rob Rix	e27a689781	Don’t export diffGraph.	2019-10-18 21:02:44 -04:00
Rob Rix	bf7577860f	Eliminate any dependency on DiffTerms.	2019-10-18 20:42:15 -04:00
Rob Rix	4ad8ce2382	🔥 diffWith.	2019-10-18 20:38:36 -04:00
Rob Rix	a8293d4cd8	Eliminate DOTGraphDiff’s dependency on DiffTerms.	2019-10-18 20:36:34 -04:00
Rob Rix	a83b6ea10a	Eliminate JSONGraphDiff’s dependency on DiffTerms.	2019-10-18 20:36:22 -04:00
Rob Rix	bf645df8be	Eliminate JSONTreeDiff’s dependency on DiffTerms.	2019-10-18 20:36:08 -04:00
Rob Rix	175da366b5	Eliminate SExprDiff’s dependency on DiffTerms.	2019-10-18 20:35:46 -04:00
Rob Rix	b98f433d0e	Eliminate ShowDiff’s dependency on DiffTerms.	2019-10-18 20:25:09 -04:00
Rob Rix	9064cda58a	Merge branch 'edit-these-patch' into abstract-a-la-carte-terms	2019-10-18 20:17:54 -04:00
Rob Rix	713de98faf	Rename SummarizeDiff to SummarizeTerms.	2019-10-18 20:14:13 -04:00
Rob Rix	7ab610a24d	Revert "Define an abstraction over the Term introduction/elimination forms." ... This reverts commit 1e401f5cc9.	2019-10-18 20:11:45 -04:00
Rob Rix	477b4f1501	Revert "🔥 redundant quantifiers." ... This reverts commit b5c0608694.	2019-10-18 20:11:43 -04:00
Rob Rix	9648b05ebd	Revert "Give simpler primitives for IsTerm." ... This reverts commit e2379abeba.	2019-10-18 20:11:40 -04:00
Rob Rix	d5abb0fa75	Revert "Abstract term injection & projection." ... This reverts commit 694164d3d4.	2019-10-18 20:11:38 -04:00
Rob Rix	0723859f33	Revert "🔥 guardTerm." ... This reverts commit 0065b0d99a.	2019-10-18 20:11:35 -04:00
Rob Rix	e0013aa8a9	Revert "Generalize makeTerm' over the term type." ... This reverts commit 996594dc5f.	2019-10-18 20:11:16 -04:00
Rob Rix	2449f9a94c	Revert "Generalize makeTerm over the term type." ... This reverts commit 15077437f2.	2019-10-18 20:11:09 -04:00
Rob Rix	1701fefd77	Revert "Generalize makeTerm'' over the term type." ... This reverts commit f50ab78f9d.	2019-10-18 20:11:07 -04:00
Rob Rix	8273312a7f	Revert "Generalize makeTerm1' over the term type." ... This reverts commit 9d87c5027c.	2019-10-18 20:11:04 -04:00
Rob Rix	7edac28207	Revert "Generalize makeTerm1 over the term type." ... This reverts commit 152a6510d1.	2019-10-18 20:11:01 -04:00
Rob Rix	d9c408a2f5	Revert "Generalize emptyTerm over the term type." ... This reverts commit 7b67989dff.	2019-10-18 20:10:58 -04:00
Rob Rix	f71505d209	Revert "Generalize handleError over the term type." ... This reverts commit cd2a1b0456.	2019-10-18 20:10:55 -04:00
Rob Rix	0bb8039218	Revert "Generalize parseError over the term type." ... This reverts commit b6b95d675f.	2019-10-18 20:10:51 -04:00
Rob Rix	3db3f1c490	Revert "Generalize contextualize over the term type." ... This reverts commit 8c13def45d.	2019-10-18 20:10:49 -04:00
Rob Rix	151e37ebf8	Revert "Generalize postContextualizeThrough over the term type." ... This reverts commit b4ed1bd449.	2019-10-18 20:10:45 -04:00
Rob Rix	0aeb77616d	Revert "Generalize postContextualize over the term type." ... This reverts commit c36833ee75.	2019-10-18 20:10:43 -04:00
Rob Rix	54b357f741	Revert "Generalize infixContext over the term type." ... This reverts commit c73a0fbff4.	2019-10-18 20:10:41 -04:00
Rob Rix	af0384d69d	Revert "Generalize decoratorWithAlgebra over the term type." ... This reverts commit d90d11062a.	2019-10-18 20:10:38 -04:00
Rob Rix	6b33b3e15f	Revert "Align." ... This reverts commit 970a837eeb.	2019-10-18 20:10:36 -04:00
Rob Rix	37dd98f1fe	Revert "🔥 redundant language extensions." ... This reverts commit fc2c134443.	2019-10-18 20:10:33 -04:00
Rob Rix	7baf284f44	Revert "Generalize Taggable over the term type." ... This reverts commit aeed82b827.	2019-10-18 20:10:16 -04:00
Rob Rix	3b71047934	Revert "Generalize tagging over the term type." ... This reverts commit a34ccbea25.	2019-10-18 20:10:13 -04:00
Rob Rix	f5c9de7b03	Revert "Fix a missing constraint." ... This reverts commit 5cea888580.	2019-10-18 20:10:05 -04:00
Rob Rix	5cea888580	Fix a missing constraint.	2019-10-18 20:07:50 -04:00
Rob Rix	5b64b3819c	Revert "Define TSX.Term recursively." ... This reverts commit 1fb626d956.	2019-10-18 20:05:35 -04:00
Rob Rix	1fb626d956	Define TSX.Term recursively.	2019-10-18 20:05:01 -04:00
Rob Rix	a34ccbea25	Generalize tagging over the term type.	2019-10-18 20:04:28 -04:00
Rob Rix	aeed82b827	Generalize Taggable over the term type.	2019-10-18 20:04:22 -04:00
Rob Rix	fc2c134443	🔥 redundant language extensions.	2019-10-18 19:35:42 -04:00
Rob Rix	970a837eeb	Align.	2019-10-18 19:35:30 -04:00
Rob Rix	d90d11062a	Generalize decoratorWithAlgebra over the term type.	2019-10-18 19:35:18 -04:00
Rob Rix	c73a0fbff4	Generalize infixContext over the term type.	2019-10-18 19:05:35 -04:00
Rob Rix	c36833ee75	Generalize postContextualize over the term type.	2019-10-18 19:05:28 -04:00
Rob Rix	b4ed1bd449	Generalize postContextualizeThrough over the term type.	2019-10-18 19:05:21 -04:00
Rob Rix	8c13def45d	Generalize contextualize over the term type.	2019-10-18 19:04:06 -04:00
Rob Rix	b6b95d675f	Generalize parseError over the term type.	2019-10-18 19:03:37 -04:00
Rob Rix	cd2a1b0456	Generalize handleError over the term type.	2019-10-18 19:03:05 -04:00
Rob Rix	7b67989dff	Generalize emptyTerm over the term type.	2019-10-18 19:02:28 -04:00
Rob Rix	152a6510d1	Generalize makeTerm1 over the term type.	2019-10-18 19:01:39 -04:00
Rob Rix	9d87c5027c	Generalize makeTerm1' over the term type.	2019-10-18 19:01:33 -04:00
Rob Rix	f50ab78f9d	Generalize makeTerm'' over the term type.	2019-10-18 19:00:29 -04:00
Rob Rix	15077437f2	Generalize makeTerm over the term type.	2019-10-18 18:59:47 -04:00
Rob Rix	811e740e1f	🔥 a redundant -fno-warn-orphans.	2019-10-18 18:59:34 -04:00
Rob Rix	996594dc5f	Generalize makeTerm' over the term type.	2019-10-18 18:55:52 -04:00
Rob Rix	0065b0d99a	🔥 guardTerm.	2019-10-18 18:52:34 -04:00
Rob Rix	694164d3d4	Abstract term injection & projection.	2019-10-18 18:50:41 -04:00
Rob Rix	e2379abeba	Give simpler primitives for IsTerm.	2019-10-18 18:48:12 -04:00
Rob Rix	b5c0608694	🔥 redundant quantifiers.	2019-10-18 18:44:55 -04:00
Rob Rix	1e401f5cc9	Define an abstraction over the Term introduction/elimination forms.	2019-10-18 18:43:43 -04:00
Rob Rix	f411e911d6	🔥 some redundant silencing of the orphan instances warning.	2019-10-18 18:28:23 -04:00
Rob Rix	d8e8fb679d	Go back to using the type synonym for the TSX assignment.	2019-10-18 18:27:17 -04:00
Rob Rix	dbd91ca2ef	Export the Term constructors/eliminators.	2019-10-18 18:25:33 -04:00
Rob Rix	a337ba1eb6	Fix a couple of indentation errors.	2019-10-18 18:23:24 -04:00
Rob Rix	ffab2423b1	Merge branch 'abstract-analysis-parsing' into abstract-a-la-carte-terms	2019-10-18 18:21:18 -04:00
Rob Rix	535c06d193	🔥 a redundant import.	2019-10-18 18:16:10 -04:00
Rob Rix	888a48e220	Undo some redundant changes.	2019-10-18 18:15:55 -04:00
Rob Rix	1b0d2f8758	Merge branch 'master' into abstract-analysis-parsing	2019-10-18 18:07:45 -04:00
Rob Rix	9e20fc889e	Merge branch 'master' into edit-these-patch	2019-10-18 18:06:57 -04:00
Rob Rix	cc2df9de19	Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick ... Compute ToCs over precise ASTs	2019-10-18 18:05:25 -04:00
Rob Rix	17c173957e	🔥 the AccessControls1 instances for Markdown.	2019-10-18 18:03:58 -04:00
Rob Rix	bd010a4ca4	Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms	2019-10-18 18:00:36 -04:00
Rob Rix	54c6948e44	Queswish! ... Co-Authored-By: Patrick Thomson <patrickt@github.com>	2019-10-18 17:38:02 -04:00
Rob Rix	d8b730c34a	Port everything over to Ruby.Term.	2019-10-18 17:33:26 -04:00
Rob Rix	179e610344	Port everything over to Markdown.Term.	2019-10-18 17:29:25 -04:00
Rob Rix	9d9c9bea5d	Port everything over to Go.Term.	2019-10-18 17:24:04 -04:00
Rob Rix	3f48a9da5a	Port everything over to Python.Term.	2019-10-18 17:19:52 -04:00
Rob Rix	ff30229d53	Rename the imports of Language.Python.	2019-10-18 17:16:02 -04:00
Rob Rix	af85945d03	Port everything over to PHP.Term.	2019-10-18 17:12:02 -04:00
Rob Rix	05e372d772	Port everything over to TypeScript.Term.	2019-10-18 17:01:20 -04:00
Rob Rix	293c2f77df	Derive an AcessControls instance for TypeScript.Term.	2019-10-18 16:57:52 -04:00
Rob Rix	dbc12c4ee6	Bring in a TypeScript term type.	2019-10-18 16:57:37 -04:00
Rob Rix	e29be5db78	Sort the import of Data.Diff up.	2019-10-18 16:55:27 -04:00
Rob Rix	db546c7d2e	Return TSX.Term from the top-level assignment.	2019-10-18 16:47:13 -04:00
Rob Rix	14ddc257db	Derive a VertexDeclaration instance for TSX.Term.	2019-10-18 16:43:50 -04:00
Rob Rix	4f53dcf310	Derive Eq, Ord, & Show instances for TSX.Term.	2019-10-18 16:42:40 -04:00
Rob Rix	49ed23d6fc	Define a HasSpan instance for TSX.Term.	2019-10-18 16:42:08 -04:00
Rob Rix	df815545eb	Derive a FreeVariables instances for TSX.Term.	2019-10-18 16:39:45 -04:00
Rob Rix	9cb6c69a1b	Define a Recursive instance for TSX.Term.	2019-10-18 16:39:01 -04:00
Rob Rix	78e332d5ba	Derive an AccessControls instance for TSX.Term.	2019-10-18 16:35:08 -04:00
Rob Rix	cbb366235d	Derive a Declarations instance for TSX.Term.	2019-10-18 16:34:56 -04:00
Rob Rix	bb2a325f4a	Derive .Diffs instances for TSX.Term.	2019-10-18 16:34:44 -04:00
Rob Rix	11905c6086	Derive a ToTags instance for TSX.Term.	2019-10-18 16:34:35 -04:00
Rob Rix	cacb3f0072	Derive all of the .Terms instances for TSX.	2019-10-18 16:34:24 -04:00
Rob Rix	15615fc4de	Define a DiffTerms instance for TSX.	2019-10-18 16:28:37 -04:00
Rob Rix	8a9a209c01	Define a Diff datatype specialized to TSX.	2019-10-18 16:27:24 -04:00
Rob Rix	ae68b69705	Derive a HasErrors instance.	2019-10-18 16:15:33 -04:00
Rob Rix	0ca1ea02aa	Derive some instances for Term.	2019-10-18 16:09:00 -04:00
Rob Rix	da2bb2ffb4	Define a Term type for TSX.	2019-10-18 16:08:31 -04:00
Rob Rix	00411293a5	Use the qualified term type.	2019-10-18 16:05:38 -04:00
Rob Rix	148b94c368	Extract TSX.Syntax into a new module.	2019-10-18 16:04:04 -04:00
Rob Rix	b3516fda6a	Generalize AssignmentParser over the term type.	2019-10-18 16:01:04 -04:00
Rob Rix	f64a028254	Use HasErrors in Measured assignment.	2019-10-18 16:00:04 -04:00
Rob Rix	fa34b0bab0	Express HasErrors at * -> *.	2019-10-18 15:59:52 -04:00
Rob Rix	70bbffc827	Replace errors with getErrors.	2019-10-18 15:57:58 -04:00
Rob Rix	aa17940852	Define a typeclass abstracting getting errors out of a term.	2019-10-18 15:57:17 -04:00
Rob Rix	85356d9050	These constraints are implied.	2019-10-18 15:50:07 -04:00
Rob Rix	d1b15cdb4f	Define all of the constraints over the term types.	2019-10-18 15:47:46 -04:00
Rob Rix	5b2745a67f	Define TSX.Term at * -> *.	2019-10-18 15:45:41 -04:00
Rob Rix	a3f8ca31bd	Define TypeScript.Term at * -> *.	2019-10-18 15:43:49 -04:00
Rob Rix	c7122040cb	Define PHP.Term at * -> *.	2019-10-18 15:39:23 -04:00
Rob Rix	7efbbcb424	Define Python.Term at * -> *.	2019-10-18 15:38:04 -04:00
Rob Rix	98c6e06d10	Define Go.Term at * -> *.	2019-10-18 15:36:31 -04:00
Rob Rix	51b64388ea	Define Markdown.Term at * -> *.	2019-10-18 15:34:42 -04:00
Rob Rix	a960957a3b	Define Ruby.Term at * -> *.	2019-10-18 15:33:14 -04:00
Rob Rix	4429055323	🔥 SomeAnalysisParser.	2019-10-18 15:18:14 -04:00
Rob Rix	9e3e383493	Use SomeParser instead of SomeAnalysisParser.	2019-10-18 15:16:17 -04:00
Rob Rix	04b922c014	Factor the language reification out of SomeAnalysisParser.	2019-10-18 15:13:37 -04:00
Rob Rix	a350eda24d	Don’t bind a variable for the parse function.	2019-10-18 15:05:42 -04:00
Rob Rix	e0115a8579	🔥 a kind signature.	2019-10-18 15:02:19 -04:00
Rob Rix	3dcc0de5b2	Facror the common part of runGraph out.	2019-10-18 15:00:41 -04:00
Rob Rix	3b2bda990f	Only bind the parser once.	2019-10-18 14:58:37 -04:00
Rob Rix	e7bca7c62a	Type applications.	2019-10-18 14:51:36 -04:00
Rob Rix	e0507e1323	🔥 EvalTerm.	2019-10-18 14:49:29 -04:00
Rob Rix	ddb708840f	Move a bunch of assumptions to EvalTerm.	2019-10-18 14:47:00 -04:00
Rob Rix	298d584c29	Define a single instance of AnalyzeTerm.	2019-10-18 14:39:22 -04:00
Rob Rix	bef3ca1ed8	Generalize EvalTerm to * -> *.	2019-10-18 14:37:55 -04:00
Rob Rix	70f33d45ef	Generalize everything over AnalyzeTerm.	2019-10-18 14:35:29 -04:00
Rob Rix	f9f6801b0d	🔥 AnalysisClasses.	2019-10-18 14:35:16 -04:00
Rob Rix	d83a19f703	Define an AnalyzeTerm instance for Quieterm.	2019-10-18 14:34:46 -04:00
Rob Rix	a6cce41d76	Define a VertexDeclaration instance for Quieterm.	2019-10-18 14:34:38 -04:00
Rob Rix	4d9043a8da	Sort the context.	2019-10-18 14:31:03 -04:00
Rob Rix	42a0ef63d2	Generalize SomeAnalysisParser over the term type.	2019-10-18 14:22:57 -04:00
Rob Rix	c32bcc884f	Define an AnalyzeTerm instance.	2019-10-18 14:22:42 -04:00
Rob Rix	2b000639b3	🔥 evaluateTerm.	2019-10-18 14:22:01 -04:00
Rob Rix	d9b78fae6b	Abstract evalTerm over a class.	2019-10-18 14:15:01 -04:00
Rob Rix	731173fc48	Define a class of terms that can be analyzed.	2019-10-18 14:08:50 -04:00
Rob Rix	95abbb3ce1	Generalize parsePythonPackage over the term type.	2019-10-18 13:56:32 -04:00
Rob Rix	7b9b1ecd2e	Generalize runCallGraph over the term type.	2019-10-18 13:54:46 -04:00
Rob Rix	000f127ff2	VertexDeclarations takes * -> *.	2019-10-18 13:47:40 -04:00
Rob Rix	1a99c7fc7f	Abstract graphingTerms over the term type.	2019-10-18 13:44:50 -04:00
Rob Rix	337ef7fac2	Split VertexDeclaration into base and lifted classes.	2019-10-18 13:43:06 -04:00
Rob Rix	2e8e65a13b	Rename VertexDeclaration to VertexDeclaration1.	2019-10-18 13:32:15 -04:00
Rob Rix	1a0943c5a0	Generalize withTermSpans.	2019-10-18 13:26:33 -04:00
Rob Rix	65e5db5d81	Avoid obscuring the specialization to Term.	2019-10-18 13:23:52 -04:00
Rob Rix	b8ed4c9b22	Use V1 instead of Maybe just in case.	2019-10-18 13:18:30 -04:00
Rob Rix	30b0f31020	Simplify VertexDeclaration to avoid the extra type parameter.	2019-10-18 13:18:02 -04:00
Rob Rix	5d3d0b6599	Alignment.	2019-10-18 13:01:30 -04:00
Rob Rix	055274fd78	🔥 Semantic.Util.Disabled.	2019-10-18 12:57:52 -04:00
Rob Rix	338df8935e	🔥 Semantic.REPL.	2019-10-18 12:57:26 -04:00
Rob Rix	e31f59ccda	Alignment.	2019-10-18 12:40:18 -04:00
Rob Rix	f119b444ff	Rename a parameter.	2019-10-18 12:28:13 -04:00