19 Commits

Author	SHA1	Message	Date
Rob Rix	06a929528a	Mark the forward permutation diff test as pending.	2017-09-26 10:11:00 -04:00
Rob Rix	0ed594cfab	Restrict a, b, and c to be disjoint.	2017-09-26 10:09:54 -04:00
Rob Rix	69aae9986d	Ensure that c is distinct from both a and b.	2017-09-26 09:59:31 -04:00
Rob Rix	6608ab48e3	Add (failing) tests that forward/backward permutations are correctly diffed as changes.	2017-09-26 09:56:47 -04:00
Rob Rix	bfc0b9d0b0	Give Diff a pair of type parameters for the annotation types.	2017-09-14 09:41:52 -04:00
Rob Rix	bf2de994ac	Curry diffing operations.	2017-09-13 19:34:27 -04:00
Rob Rix	9de429be45	🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.	2017-09-13 19:14:01 -04:00
Rob Rix	9c97ea7c48	More 🔥	2017-09-09 14:59:03 +01:00
Rob Rix	a1bfea611f	Update all the tests.	2017-09-09 14:18:08 +01:00
Rob Rix	e2ffba2401	Rename headF to termAnnotation.	2017-09-09 11:50:29 +01:00
Rob Rix	7da8799e08	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Rob Rix	d6beb353fa	🔥 unused imports.	2017-07-23 16:08:05 -04:00
Rob Rix	ba68f866fd	Remove the leaf type parameter from SyntaxDiff.	2017-07-23 15:59:02 -04:00
Rob Rix	aa8ebfcd73	Remove the leaf type parameter from SyntaxTerm.	2017-07-23 15:56:08 -04:00
Rob Rix	8cd44d59a5	diffTerms takes its inputs in Both.	2017-06-01 11:10:47 -04:00
Rob Rix	b8b844cecc	🔥 more redundant imports.	2017-05-11 17:16:51 -04:00
Rob Rix	e543a192ef	🔥 redundant definitions of unListableDiff.	2017-05-11 09:30:15 -04:00
joshvera	7395e88ab0	Remove Data.RandomWalkSimilarity	2017-04-24 15:53:11 -04:00
Timothy Clem	bfe1181acb	Move Diff and Source Specs	2017-02-28 15:35:43 -08:00