diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-13 21:54:23 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-13 21:54:23 -0700 |
| commit | 78319064329e6b334298ea4bed2eec01d2fc8b47 (patch) | |
| tree | 5c6916868f7e0dc9ef8367fe538f0c91578dcb62 /Data/CMonoid.agda | |
| parent | 2ef009db997ac5c0150b7f496228943b07d43165 (diff) | |
Add split functor
Diffstat (limited to 'Data/CMonoid.agda')
0 files changed, 0 insertions, 0 deletions