Skip to content

replace AllApplicative by tensor monoid#4

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

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

Commits

Commits on Jan 13, 2026

Commits on Jan 14, 2026