diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-28 12:30:36 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-28 12:30:36 -0500 |
| commit | 666ceb1d09d490f1e2f83f840603a9e403bb5714 (patch) | |
| tree | 46c73dcb7354dc516c3cf5478e9f8665e6e42c10 /Category/Equivalence/Instance/Monoids.agda | |
| parent | 1d40f953de7bdfbaff350a953c60b2c5951f42a2 (diff) | |
Add endofunctor for Vectors of fixed length
Diffstat (limited to 'Category/Equivalence/Instance/Monoids.agda')
0 files changed, 0 insertions, 0 deletions