Skip to content

replace AllApplicative by tensor monoid#4

Merged
bgavran merged 2 commits into
bgavran:mainfrom
andrevidela:applicative-from-monoid
Jan 16, 2026
Merged

replace AllApplicative by tensor monoid#4
bgavran merged 2 commits into
bgavran:mainfrom
andrevidela:applicative-from-monoid

add missing implementation for monoid instance

2022631
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.