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