diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-13 17:34:50 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-13 17:34:50 -0600 |
| commit | 4e85ade36a25151021a74b51442dca999e1b48e2 (patch) | |
| tree | 9ef96b78b41f15fd2ff7269657d92ece98990412 /Cospan/Decorated.agda | |
| parent | 1a5e78031311da07917d8ec752c65f367096a6fe (diff) | |
Remove old multisetof construction
Diffstat (limited to 'Cospan/Decorated.agda')
0 files changed, 0 insertions, 0 deletions