diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-07 10:52:51 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-07 10:52:51 -0600 |
| commit | b2c2426959715260f57153b91ce11d12c7fdb298 (patch) | |
| tree | 2c40fe1b8d79732dedb4a9ddce957559c67fe05e /Preorder/Primitive.agda | |
| parent | 8ec259bb32b4339b27560f5ea13afa81b9b8febc (diff) | |
Add strong variants of cats to preorders functors
Diffstat (limited to 'Preorder/Primitive.agda')
0 files changed, 0 insertions, 0 deletions