diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 14:08:17 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-25 14:08:17 -0500 |
| commit | 348f5615631fff3279049ab930fd51ec4442f44f (patch) | |
| tree | 125495d90f9d52a3dab92786bb43776abae7a3a6 /DecorationFunctor | |
| parent | 11e8c93b5426ddfd75f1c9c495e4da0defbc08a6 (diff) | |
Use agda-categories definition of split idempotent
Diffstat (limited to 'DecorationFunctor')
0 files changed, 0 insertions, 0 deletions