Patrick Thomson 6b0198cb00 Remove otiose -Sum prefixes from all Data.Sum operations. ... There are no modules where we use both Union.inj and Sum.injectSum; as such, it seems clumsy for such ubiquitous functions as inj and prj to have such long names when there is no ambiguity. This restores the codebase to much how it looked before we switched back to a richer Data.Union.		2018-05-16 15:27:08 -04:00
..
Abstract/Evaluator	Remove otiose -Sum prefixes from all Data.Sum operations.	2018-05-16 15:27:08 -04:00