31460 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ayman Nadeem	90be70f045	specify usage pattern	2019-10-21 12:57:16 -04:00
Patrick Thomson	ecaa5a1671	Combine lets.	2019-10-21 12:41:45 -04:00
Patrick Thomson	cbda7cf344	Merge remote-tracking branch 'origin/master' into function-define-thyself	2019-10-21 12:35:35 -04:00
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
Ayman Nadeem	fc910ac5e4	Merge branch 'master' into semantic-ast-errors	2019-10-21 09:49:12 -04:00
Ayman Nadeem	86aa2be662	need for_	2019-10-20 11:51:12 -04:00
Ayman Nadeem	e67ee6ee7b	take multiple filepaths	2019-10-20 11:51:02 -04:00
Ayman Nadeem	ca30fe6c15	eliminate source into [ByteString]	2019-10-20 11:50:43 -04:00
Ayman Nadeem	19a0594fd1	bytestrings are now a list	2019-10-20 11:50:15 -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