Skip to content

Add Monoidal (->) tests#43

Merged
vrom911 merged 4 commits intokowainik:masterfrom xplosunn:masterOct 22, 2020

Commits

Commits on Oct 18, 2020

Commits on Oct 20, 2020

Commits on Oct 21, 2020

Commits on Oct 22, 2020