diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-28 12:26:54 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-28 12:26:54 -0500 |
| commit | 8ac913160fcb3e6ec6af2b0f4cb25f45edd8212b (patch) | |
| tree | ea0ed1ba72624f8f654a820c10521c8acac9ffec /Functor/Instance/Nat/Pull.agda | |
| parent | 117ecc76cb40ad6367d8fe6d5b854cbe13a613bf (diff) | |
Add symmetric monoidal structure to Pull and System
Diffstat (limited to 'Functor/Instance/Nat/Pull.agda')
0 files changed, 0 insertions, 0 deletions