31171 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	1e401f5cc9	Define an abstraction over the Term introduction/elimination forms.	2019-10-18 18:43:43 -04:00
Rob Rix	f411e911d6	🔥 some redundant silencing of the orphan instances warning.	2019-10-18 18:28:23 -04:00
Rob Rix	d8e8fb679d	Go back to using the type synonym for the TSX assignment.	2019-10-18 18:27:17 -04:00
Rob Rix	dbd91ca2ef	Export the Term constructors/eliminators.	2019-10-18 18:25:33 -04:00
Rob Rix	a337ba1eb6	Fix a couple of indentation errors.	2019-10-18 18:23:24 -04:00
Rob Rix	ffab2423b1	Merge branch 'abstract-analysis-parsing' into abstract-a-la-carte-terms	2019-10-18 18:21:18 -04:00
Rob Rix	535c06d193	🔥 a redundant import.	2019-10-18 18:16:10 -04:00
Rob Rix	888a48e220	Undo some redundant changes.	2019-10-18 18:15:55 -04:00
Rob Rix	1b0d2f8758	Merge branch 'master' into abstract-analysis-parsing	2019-10-18 18:07:45 -04:00
Rob Rix	9e20fc889e	Merge branch 'master' into edit-these-patch	2019-10-18 18:06:57 -04:00
Rob Rix	cc2df9de19	Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick ... Compute ToCs over precise ASTs	2019-10-18 18:05:25 -04:00
Rob Rix	17c173957e	🔥 the AccessControls1 instances for Markdown.	2019-10-18 18:03:58 -04:00
Rob Rix	bd010a4ca4	Merge branch 'join-these-blobs-with-this-one-weird-trick' into abstract-a-la-carte-terms	2019-10-18 18:00:36 -04:00
Rob Rix	54c6948e44	Queswish! ... Co-Authored-By: Patrick Thomson <patrickt@github.com>	2019-10-18 17:38:02 -04:00
Rob Rix	d8b730c34a	Port everything over to Ruby.Term.	2019-10-18 17:33:26 -04:00
Rob Rix	179e610344	Port everything over to Markdown.Term.	2019-10-18 17:29:25 -04:00
Rob Rix	9d9c9bea5d	Port everything over to Go.Term.	2019-10-18 17:24:04 -04:00
Rob Rix	3f48a9da5a	Port everything over to Python.Term.	2019-10-18 17:19:52 -04:00
Rob Rix	ff30229d53	Rename the imports of Language.Python.	2019-10-18 17:16:02 -04:00
Rob Rix	af85945d03	Port everything over to PHP.Term.	2019-10-18 17:12:02 -04:00
Rob Rix	05e372d772	Port everything over to TypeScript.Term.	2019-10-18 17:01:20 -04:00
Rob Rix	293c2f77df	Derive an AcessControls instance for TypeScript.Term.	2019-10-18 16:57:52 -04:00
Rob Rix	dbc12c4ee6	Bring in a TypeScript term type.	2019-10-18 16:57:37 -04:00