Skip to content

chore: Define more fields by re-export, add naturality shorthands

8f6ab20
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

chore: Various minor updates relating to bicategories #607

chore: Define more fields by re-export, add naturality shorthands
8f6ab20
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
pr-preview
succeeded Mar 18, 2026 in 5m 1s