31106 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	e29be5db78	Sort the import of Data.Diff up.	2019-10-18 16:55:27 -04:00
Rob Rix	db546c7d2e	Return TSX.Term from the top-level assignment.	2019-10-18 16:47:13 -04:00
Rob Rix	14ddc257db	Derive a VertexDeclaration instance for TSX.Term.	2019-10-18 16:43:50 -04:00
Rob Rix	4f53dcf310	Derive Eq, Ord, & Show instances for TSX.Term.	2019-10-18 16:42:40 -04:00
Rob Rix	49ed23d6fc	Define a HasSpan instance for TSX.Term.	2019-10-18 16:42:08 -04:00
Rob Rix	df815545eb	Derive a FreeVariables instances for TSX.Term.	2019-10-18 16:39:45 -04:00
Rob Rix	9cb6c69a1b	Define a Recursive instance for TSX.Term.	2019-10-18 16:39:01 -04:00
Rob Rix	78e332d5ba	Derive an AccessControls instance for TSX.Term.	2019-10-18 16:35:08 -04:00
Rob Rix	cbb366235d	Derive a Declarations instance for TSX.Term.	2019-10-18 16:34:56 -04:00
Rob Rix	bb2a325f4a	Derive .Diffs instances for TSX.Term.	2019-10-18 16:34:44 -04:00
Rob Rix	11905c6086	Derive a ToTags instance for TSX.Term.	2019-10-18 16:34:35 -04:00
Rob Rix	cacb3f0072	Derive all of the .Terms instances for TSX.	2019-10-18 16:34:24 -04:00
Rob Rix	15615fc4de	Define a DiffTerms instance for TSX.	2019-10-18 16:28:37 -04:00
Rob Rix	8a9a209c01	Define a Diff datatype specialized to TSX.	2019-10-18 16:27:24 -04:00
Rob Rix	ae68b69705	Derive a HasErrors instance.	2019-10-18 16:15:33 -04:00