diff options
| author | aristote <quentin.aristote@irif.fr> | 2026-02-04 14:35:44 +0100 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2026-02-04 14:35:44 +0100 |
| commit | 98b93e32d91e4ec4fef40d48d8142961fbda1749 (patch) | |
| tree | 6149be215524cc3035813cbbfddb17454e0fc96e /src.nix | |
| parent | 3b6b4f620e29df09837e4f7f2899e7ba39ff5b69 (diff) | |
research: misc: add profunctorial algebras
Diffstat (limited to 'src.nix')
0 files changed, 0 insertions, 0 deletions