diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 13:07:50 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 13:07:50 -0500 |
| commit | aada52132810a021a898f43daef5c90ced2a8bf0 (patch) | |
| tree | d78dd02c0f45abe1d01d830c38058833ad4f2314 /Functor/Monoidal/Construction/MonoidValued.agda | |
| parent | e4fb413c779ccbebd3d300309f5e200c0025b99e (diff) | |
Refactor systems and add looped systems
Diffstat (limited to 'Functor/Monoidal/Construction/MonoidValued.agda')
0 files changed, 0 insertions, 0 deletions