31116 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	0ca1ea02aa	Derive some instances for Term.	2019-10-18 16:09:00 -04:00
Rob Rix	da2bb2ffb4	Define a Term type for TSX.	2019-10-18 16:08:31 -04:00
Rob Rix	00411293a5	Use the qualified term type.	2019-10-18 16:05:38 -04:00
Rob Rix	148b94c368	Extract TSX.Syntax into a new module.	2019-10-18 16:04:04 -04:00
Rob Rix	b3516fda6a	Generalize AssignmentParser over the term type.	2019-10-18 16:01:04 -04:00
Rob Rix	f64a028254	Use HasErrors in Measured assignment.	2019-10-18 16:00:04 -04:00
Rob Rix	fa34b0bab0	Express HasErrors at * -> *.	2019-10-18 15:59:52 -04:00
Rob Rix	70bbffc827	Replace errors with getErrors.	2019-10-18 15:57:58 -04:00
Rob Rix	aa17940852	Define a typeclass abstracting getting errors out of a term.	2019-10-18 15:57:17 -04:00
Rob Rix	85356d9050	These constraints are implied.	2019-10-18 15:50:07 -04:00
Rob Rix	d1b15cdb4f	Define all of the constraints over the term types.	2019-10-18 15:47:46 -04:00
Rob Rix	5b2745a67f	Define TSX.Term at * -> *.	2019-10-18 15:45:41 -04:00
Rob Rix	a3f8ca31bd	Define TypeScript.Term at * -> *.	2019-10-18 15:43:49 -04:00
Rob Rix	c7122040cb	Define PHP.Term at * -> *.	2019-10-18 15:39:23 -04:00
Rob Rix	7efbbcb424	Define Python.Term at * -> *.	2019-10-18 15:38:04 -04:00
Rob Rix	98c6e06d10	Define Go.Term at * -> *.	2019-10-18 15:36:31 -04:00
Rob Rix	51b64388ea	Define Markdown.Term at * -> *.	2019-10-18 15:34:42 -04:00
Rob Rix	a960957a3b	Define Ruby.Term at * -> *.	2019-10-18 15:33:14 -04:00
Rob Rix	4429055323	🔥 SomeAnalysisParser.	2019-10-18 15:18:14 -04:00
Rob Rix	9e3e383493	Use SomeParser instead of SomeAnalysisParser.	2019-10-18 15:16:17 -04:00
Rob Rix	04b922c014	Factor the language reification out of SomeAnalysisParser.	2019-10-18 15:13:37 -04:00
Rob Rix	a350eda24d	Don’t bind a variable for the parse function.	2019-10-18 15:05:42 -04:00
Rob Rix	e0115a8579	🔥 a kind signature.	2019-10-18 15:02:19 -04:00
Rob Rix	3dcc0de5b2	Facror the common part of runGraph out.	2019-10-18 15:00:41 -04:00
Rob Rix	3b2bda990f	Only bind the parser once.	2019-10-18 14:58:37 -04:00
Rob Rix	e7bca7c62a	Type applications.	2019-10-18 14:51:36 -04:00
Rob Rix	e0507e1323	🔥 EvalTerm.	2019-10-18 14:49:29 -04:00
Rob Rix	ddb708840f	Move a bunch of assumptions to EvalTerm.	2019-10-18 14:47:00 -04:00
Rob Rix	298d584c29	Define a single instance of AnalyzeTerm.	2019-10-18 14:39:22 -04:00
Rob Rix	bef3ca1ed8	Generalize EvalTerm to * -> *.	2019-10-18 14:37:55 -04:00
Rob Rix	70f33d45ef	Generalize everything over AnalyzeTerm.	2019-10-18 14:35:29 -04:00
Rob Rix	f9f6801b0d	🔥 AnalysisClasses.	2019-10-18 14:35:16 -04:00
Rob Rix	d83a19f703	Define an AnalyzeTerm instance for Quieterm.	2019-10-18 14:34:46 -04:00
Rob Rix	a6cce41d76	Define a VertexDeclaration instance for Quieterm.	2019-10-18 14:34:38 -04:00
Rob Rix	4d9043a8da	Sort the context.	2019-10-18 14:31:03 -04:00
Rob Rix	42a0ef63d2	Generalize SomeAnalysisParser over the term type.	2019-10-18 14:22:57 -04:00
Rob Rix	c32bcc884f	Define an AnalyzeTerm instance.	2019-10-18 14:22:42 -04:00
Rob Rix	2b000639b3	🔥 evaluateTerm.	2019-10-18 14:22:01 -04:00
Rob Rix	d9b78fae6b	Abstract evalTerm over a class.	2019-10-18 14:15:01 -04:00
Rob Rix	731173fc48	Define a class of terms that can be analyzed.	2019-10-18 14:08:50 -04:00