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 |
|