diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 10:59:04 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-01-04 10:59:04 -0600 |
| commit | 1a84efec2ba0769035144782e1e96a10e0d5a7b2 (patch) | |
| tree | 2be1a8bc1f809794b097320861c59b0b45cc689a /Functor/Properties.agda | |
| parent | f84a8d1bf9525aa9a005c1a31045b7685c6ac059 (diff) | |
Update to latest agda-categories
Diffstat (limited to 'Functor/Properties.agda')
0 files changed, 0 insertions, 0 deletions