Rob Rix
|
e04e24a29e
|
Merge branch 'edit-these-patch' into abstract-a-la-carte-terms
|
2019-10-21 12:03:35 -04:00 |
|
Rob Rix
|
5df2222a15
|
Merge branch 'master' into edit-these-patch
|
2019-10-21 12:03:22 -04:00 |
|
Rob Rix
|
5da3a1183b
|
Correct stale references to patch.
|
2019-10-21 12:03:07 -04:00 |
|
Rob Rix
|
33b9f1ef4d
|
Merge branch 'master' into abstract-a-la-carte-terms
|
2019-10-21 12:02:13 -04:00 |
|
Rob Rix
|
50d2c4520d
|
Merge pull request #349 from github/abstract-analysis-parsing
Abstract analysis parsing
|
2019-10-21 11:54:12 -04:00 |
|
Rob Rix
|
559e2e0c59
|
Fix a missed rename.
|
2019-10-21 11:42:55 -04:00 |
|
Rob Rix
|
d3af1952c2
|
Revert "Define TypeScript.Term as a wrapper for Term."
This reverts commit 80792e0ce2 .
|
2019-10-21 11:40:15 -04:00 |
|
Rob Rix
|
80792e0ce2
|
Define TypeScript.Term as a wrapper for Term.
|
2019-10-21 11:37:26 -04:00 |
|
Rob Rix
|
c246ab640a
|
Combine the SummarizeTermsBy 'ALaCarte instances.
|
2019-10-21 11:23:05 -04:00 |
|
Rob Rix
|
294fea06af
|
Generalize HasDeclaration &c. over the term type.
|
2019-10-21 11:19:04 -04:00 |
|
Rob Rix
|
46f8b06b2e
|
Combine the precise instances of SummarizeTermsBy.
|
2019-10-21 11:11:29 -04:00 |
|
Rob Rix
|
d17e1cae99
|
Combine the ToTags instances.
|
2019-10-21 11:04:20 -04:00 |
|
Rob Rix
|
d0f06dfe99
|
Re-export IsTaggable.
|
2019-10-21 11:03:43 -04:00 |
|
Rob Rix
|
b81ce49f4b
|
🔥 ParseEffects.
|
2019-10-21 10:52:42 -04:00 |
|
Rob Rix
|
001fbdcadb
|
🔥 TypeOperators.
|
2019-10-21 10:49:46 -04:00 |
|
Rob Rix
|
5e33ca8a2c
|
Move TermMode to Parsing.Parser.
|
2019-10-21 10:49:23 -04:00 |
|
Rob Rix
|
542692896f
|
Rename the import of à la carte Python.
|
2019-10-21 10:47:37 -04:00 |
|
Rob Rix
|
5037b1fee0
|
Rename the import of precise Python.
|
2019-10-21 10:46:40 -04:00 |
|
Rob Rix
|
680026debb
|
Rename the import of JSON.
|
2019-10-21 10:46:17 -04:00 |
|
Rob Rix
|
766393847d
|
Rename the import of Java.
|
2019-10-21 10:46:09 -04:00 |
|
Rob Rix
|
0b00ed3c0a
|
Combine the JSONGraphTerm instances.
|
2019-10-21 10:43:57 -04:00 |
|
Rob Rix
|
6042094243
|
Alignment.
|
2019-10-21 10:40:26 -04:00 |
|
Rob Rix
|
7d921ed8c7
|
Combine the JSONTreeTerm instances.
|
2019-10-21 10:39:33 -04:00 |
|
Rob Rix
|
10d9e60e78
|
Derive ToJSON instances for all the term types.
|
2019-10-21 10:38:55 -04:00 |
|
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 |
|