aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Bisemimodules.agda
AgeCommit message (Expand)Author
2026-04-03Add free functor from rig-matrices to semimodulesmainJacques Comeaux
2026-04-02Add categories of Rigs, Bisemimodules, and SemimodulesJacques Comeaux