diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-22 01:20:25 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-22 01:20:25 -0500 |
| commit | 179740f30f8768ec60d3a3324084ef754a2cff2c (patch) | |
| tree | ef2cd5f49c2d2e567dd79c14f19d0644e5cdc887 /Data/System.agda | |
| parent | e5b3cd06b1ba2504831db203a6be30c184df3274 (diff) | |
Add symmetric monoidal structure to Push functor
Diffstat (limited to 'Data/System.agda')
0 files changed, 0 insertions, 0 deletions