5 Commits

Author SHA1 Message Date
raymoo
c34b7fac18 Add get_values 2016-02-02 16:26:15 -08:00
raymoo
dfd5932a59 Remove child monoids - they can be implemented without special support 2016-01-23 13:51:38 -08:00
raymoo
061c737ea8 Update API 2016-01-09 02:24:14 -08:00
raymoo
c46b7d1166 Finish initial API 2016-01-06 02:21:56 -08:00
raymoo
3ac4e29c8d Define effect monoids 2016-01-05 22:59:46 -08:00