diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-04 06:37:48 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-04 06:37:48 -0500 |
| commit | e171bf8948f8655eccdf27ba4824bdb28d497076 (patch) | |
| tree | 974526482f8ec0ed5a20e575fc3b8d0eb4d7cb21 /Functor/Instance/Endo/List.agda | |
| parent | 514bb6e3e235f37c4e49bd703ad02a5ab31e8c0a (diff) | |
Construct monoidal merge functor
Diffstat (limited to 'Functor/Instance/Endo/List.agda')
0 files changed, 0 insertions, 0 deletions