diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-15 12:34:15 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-08-15 12:34:15 -0500 |
| commit | 9a65579633967a0c02b912e6baa3e575a02b868f (patch) | |
| tree | c0398cf53de1b2c0b0e2211bb81f2501c4d8688f /FinMerge.agda | |
| parent | 154ad08032f9719b0ad32aa357742fe12ff4899a (diff) | |
Add monoidal structure to system functor
Diffstat (limited to 'FinMerge.agda')
0 files changed, 0 insertions, 0 deletions