7 Commits

Author	SHA1	Message	Date
Rob Rix	680465dfbf	Abstract Diff over an annotation type.	2015-11-18 13:23:47 -08:00
Rob Rix	a47ad36d98	Move the definition of Term into the Term module.	2015-11-18 11:28:16 -08:00
Rob Rix	213d8fbd55	Maps all the way down.	2015-11-17 18:58:51 -08:00
Rob Rix	e01e4bb923	ByKey’s continuation takes a map.	2015-11-17 18:56:28 -08:00
Rob Rix	af280ae63d	Rename the Recursive constructor.	2015-11-17 15:40:03 -08:00
Rob Rix	a700b7f7ff	Derive functor.	2015-11-17 15:39:51 -08:00
Rob Rix	c8b573cb33	Move Operation into its own file.	2015-11-17 15:14:57 -08:00