15 Commits

Author	SHA1	Message	Date
Timothy Clem	a481f2ac2e	TypeOperators required	2018-09-21 09:47:36 -07:00
Timothy Clem	dfe8c842ed	Term doesn't need to know about Record	2018-09-21 09:42:24 -07:00
Rob Rix	926e32db29	More missing imports.	2018-07-20 10:04:34 -04:00
Patrick Thomson	1eed347da6	fix the specs	2018-06-29 16:17:27 -04:00
Patrick Thomson	dafb3edaf5	Merge remote-tracking branch 'origin/master' into update-fastsum	2018-05-16 18:26:43 -04:00
Patrick Thomson	322f348103	inj -> inject	2018-05-16 18:25:02 -04:00
Rob Rix	06047bc31f	Unify them types.	2018-05-16 16:21:02 -04:00
Rob Rix	02947bf61e	Fix the RWS spec.	2018-05-16 16:15:06 -04:00
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
Rob Rix	da3ddd2b17	Fix the specs.	2018-05-02 16:10:56 -04:00
Rob Rix	ebc8e01cc4	Use our own local definition of Sum.	2018-05-02 12:00:15 -04:00
Timothy Clem	a3d35ac9a0	WIP: Attempt to back out Identifiers as qualified names	2018-04-02 10:40:52 -07:00
Timothy Clem	835e8f5980	Major updates to identifiers: free variables can be qualified names ... (break all the tests too 😁)	2018-03-07 17:01:47 -08:00
Rob Rix	2102ab41cf	Rename Decorating to Analysis.	2017-11-27 14:32:13 -05:00
Rob Rix	266bd1199a	Rename the RWS spec.	2017-11-27 13:48:43 -05:00