30992 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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