diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-30 15:47:52 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-30 15:47:52 -0700 |
| commit | b65266b7b41e3001eb3cf46c95ee6c9af021edc9 (patch) | |
| tree | ad272e444177cd9bd4b92f295bc90cd980e6c58d /SplitIdempotents | |
| parent | 776ec567fd788ddef1f7617b7a3bfeb9cf46c28d (diff) | |
Update missed module to new agda-categories
Diffstat (limited to 'SplitIdempotents')
0 files changed, 0 insertions, 0 deletions