Skip to content

Fix regression in lifted semigroup sum. Fix #365#366

Merged
jbgi merged 1 commit into
functionaljava:series/5.xfrom
jbgi:fixes/365-option-monoid
Oct 7, 2018
Merged

Fix regression in lifted semigroup sum. Fix #365#366
jbgi merged 1 commit into
functionaljava:series/5.xfrom
jbgi:fixes/365-option-monoid

Fix regression in lifted semigroup sum. Move lifted definition in Mon…

9893314
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs