11996 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	390297aa56	📝 cyclomaticComplexityAlg.	2017-04-25 12:13:33 -04:00
Rob Rix	91366b0ba4	📝 CyclomaticComplexity.	2017-04-25 12:11:57 -04:00
Rob Rix	42d8b42f60	Merge branch 'a-la-carte-folds' of https://github.com/github/semantic-diff into a-la-carte-folds	2017-04-25 12:10:56 -04:00
Rob Rix	7bf60eb2ff	🔥 CVAlgebra handling. ... We run the risk of making paramorphisms quadratic if we use histomorphisms to decorate, so we compromise on the added flexibility.	2017-04-25 12:10:48 -04:00
Rob Rix	2b703d1f31	Generalize decoratorWithAlgebra to take an R-algebra.	2017-04-25 12:09:10 -04:00
Timothy Clem	975304097c	Remove TODO and leave readFile behavior alone for now	2017-04-25 09:07:51 -07:00
Timothy Clem	6be9b9c3cd	🔥 concurrently	2017-04-25 09:05:48 -07:00
Timothy Clem	12948181c5	Merge remote-tracking branch 'origin/master' into clean-parse-and-diff-interface	2017-04-25 09:02:41 -07:00
Rob Rix	68e5042155	Merge branch 'master' into a-la-carte-folds	2017-04-25 10:55:26 -04:00
Rob Rix	6c38ec2b77	Correct the deprecation pragma.	2017-04-24 19:16:50 -04:00
Rob Rix	22ac1e3441	Add a deprecation notice to rToCV.	2017-04-24 18:42:35 -04:00
Rob Rix	7e21c167e1	Define an adaptor from F-algebras to CV-algebras.	2017-04-24 18:35:22 -04:00
Rob Rix	22be6c30f0	Factor Base out of the algebra type synonyms to avoid ambiguity.	2017-04-24 18:34:28 -04:00
Rob Rix	4f7c9a9fa7	Merge pull request #1088 from github/remove-random-walk-similarity ... Remove Data.RandomWalkSimilarity	2017-04-24 18:26:08 -04:00
Rob Rix	5b32f9d1b6	Note the awful complexity of rToCV.	2017-04-24 16:09:49 -04:00
Rob Rix	440cc2e792	📝 rToCV.	2017-04-24 16:00:06 -04:00
Rob Rix	4ac68417a2	Define the promotion of R-algebras into CV-algebras.	2017-04-24 15:58:29 -04:00
Rob Rix	bee4b4b06e	Define a type synonym for course-of-value algebras.	2017-04-24 15:55:09 -04:00
joshvera	7395e88ab0	Remove Data.RandomWalkSimilarity	2017-04-24 15:53:11 -04:00
Rob Rix	bc3fc4b4af	📝 fToR.	2017-04-24 15:46:51 -04:00
Rob Rix	d6cb7890b9	Define a function to promote F-algebras into R-algebras.	2017-04-24 15:45:50 -04:00
Rob Rix	953034ccb3	Define FAlgebra in terms of the Base of some type.	2017-04-24 15:44:46 -04:00
Rob Rix	c53076b071	Replace identifiable with its R-algebra.	2017-04-24 15:43:29 -04:00
Rob Rix	d429d77b15	Define a type synonym for R-algebras.	2017-04-24 15:43:22 -04:00
Rob Rix	fa520d6089	Move the definition of FAlgebra up.	2017-04-24 15:41:17 -04:00
Rob Rix	82a40d19ff	cyclomaticComplexityAlg is an F-algebra.	2017-04-24 15:40:31 -04:00
Rob Rix	46c044d448	Replace cyclomaticComplexity with its algebra.	2017-04-24 15:39:46 -04:00
Rob Rix	1e40f9b823	📝 decoratorWithAlgebra’s parameters.	2017-04-24 15:38:34 -04:00
Rob Rix	292969a5df	Reformat decoratorWithAlgebra’s signature.	2017-04-24 15:38:22 -04:00
Rob Rix	0a6555351b	📝 decoratorWithAlgebra.	2017-04-24 15:35:47 -04:00
Rob Rix	5201cb3f46	📝 FAlgebra.	2017-04-24 15:35:19 -04:00
Rob Rix	07c13859e2	Define a function lifting an algebra into a decorator.	2017-04-24 15:34:28 -04:00
Rob Rix	8b7d416164	Simplify the cyclomatic complexity computation to just the value.	2017-04-24 15:28:21 -04:00
Rob Rix	c4393ace0b	Define a cyclomatic complexity decorator.	2017-04-24 15:23:21 -04:00
Rob Rix	90737f6e5f	Generalize identifiable over the union.	2017-04-24 15:07:19 -04:00
Rob Rix	76513638a6	Merge branch 'master' into clean-parse-and-diff-interface	2017-04-24 14:56:06 -04:00
Rob Rix	9e34c589c0	Merge branch 'master' into a-la-carte-folds	2017-04-24 14:55:49 -04:00
Rob Rix	bfacfc783f	Merge pull request #1085 from github/run-assignment-with-source ... Run assignment with source	2017-04-24 14:55:07 -04:00
Rob Rix	fb477828e6	📝 advanceState.	2017-04-24 13:57:41 -04:00
Rob Rix	a7b47952eb	📝 AssignmentState itself.	2017-04-24 13:55:12 -04:00
Rob Rix	8caea50b14	📝 AssignmentState’s fields.	2017-04-24 13:54:33 -04:00
Rob Rix	806aa944d0	SourcePos is 1-indexed in both line and column.	2017-04-24 13:51:08 -04:00
Rob Rix	3705f960f4	Reformat AssignmentState across several lines.	2017-04-24 13:47:21 -04:00
Rob Rix	d3517ab60f	Methods are identifiable.	2017-04-24 13:41:20 -04:00
Rob Rix	54108f0019	Classes are identifiable.	2017-04-24 13:41:16 -04:00
Rob Rix	d5b512d094	Stub in a function producing the list of identifiable subterms of a term.	2017-04-24 13:38:55 -04:00
Rob Rix	d66e425e56	Derive Functor and Traversable instances for à la carte syntax types.	2017-04-24 13:38:21 -04:00
Rob Rix	0ad31e7887	Define Traversable instances for Unions.	2017-04-24 13:37:59 -04:00
Rob Rix	09d4dbcb8e	Define Functor instances for unions of Functors.	2017-04-24 13:29:10 -04:00
Rob Rix	3dd4d12af8	Define the strengthening of a single-member union.	2017-04-24 13:28:56 -04:00