diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-18 16:20:00 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-18 16:20:00 -0700 |
| commit | d9ede0379448f50a553af4b91ce835836e712bc3 (patch) | |
| tree | ad034270a9186093a03de6cd902cd99849ce87dd /Functor/Free/Instance/Preorder.agda | |
| parent | d9bf8ae622083c0a3d82e5da39b45f9f744eefa0 (diff) | |
Simplify semiadditive dagger definition
Diffstat (limited to 'Functor/Free/Instance/Preorder.agda')
0 files changed, 0 insertions, 0 deletions