129 Commits

Author	SHA1	Message	Date
joshvera	72dea795d2	Remove literal string from tests	2016-05-23 13:57:04 -04:00
joshvera	ea87d385a5	tweak separators	2016-05-18 13:52:22 -04:00
joshvera	f0b5760502	Extract the first category for branch nodes	2016-05-18 13:27:19 -04:00
joshvera	68948287f8	Add a summary renderer	2016-05-18 12:01:16 -04:00
joshvera	aade9415aa	Add replacement summaries	2016-05-18 10:24:08 -04:00
joshvera	ab3b8faf32	hey look it works	2016-05-18 10:18:26 -04:00
joshvera	eedea216b3	add delete case	2016-05-18 09:55:59 -04:00
joshvera	5a8aed6e51	map infos to DifInfos in diffSummary'	2016-05-17 17:34:27 -04:00
joshvera	68f5b0f669	Remove description from diff summary	2016-05-17 15:59:07 -04:00
joshvera	4d6427a24e	Stub some tests	2016-05-17 13:09:14 -04:00
joshvera	45a2b70a69	Remove Term import	2016-05-16 14:29:36 -04:00
joshvera	727b1538c3	Remove termToSummary	2016-05-16 14:27:44 -04:00
joshvera	b16166d78a	clean up imports	2016-05-16 13:19:30 -04:00
joshvera	e53333c9dd	indentation	2016-05-16 11:23:57 -04:00
joshvera	e6a385e09a	add type signature	2016-05-16 11:23:32 -04:00
joshvera	95cb5070fa	🔥 failed diff summary funs	2016-05-16 11:15:47 -04:00
joshvera	ec58e29855	diff summaries kind of work	2016-05-16 10:54:05 -04:00
joshvera	8be702f5e6	stub futu	2016-05-13 11:44:03 -04:00
joshvera	9d67019376	Explicit type to maybeFirstCategory	2016-05-10 17:48:55 -04:00
joshvera	1503381bed	concat indexed and fixed diff summaries	2016-05-10 17:47:03 -04:00
joshvera	3160c8c464	s/patchSummary/patchToSummary	2016-05-09 15:00:15 -04:00
joshvera	14a405d8c8	Return a diff summary from termToSummary and make DiffSummary either be a DiffSummary of before and after summaries, a TermSummary, or an EmptySummary	2016-05-05 20:09:50 -04:00
joshvera	48c7498ce2	Define Term in terms of Cofree	2016-05-04 14:37:24 -04:00
joshvera	1914950bc1	Stub diffSummary'	2016-05-03 15:50:38 -04:00
joshvera	fc0e9236e9	Stub diffSummary'	2016-05-03 14:10:36 -04:00
joshvera	6c07d4dc55	WIP CofreeF	2016-05-03 12:17:38 -04:00
joshvera	a03be353d6	Expose Patch constructor and add summary	2016-04-25 22:14:53 -04:00
joshvera	305371e6c8	no comment	2016-04-25 11:50:56 -04:00
joshvera	33270bd65a	stub diffSummary	2016-04-25 11:46:10 -04:00