Commit 2024-09-03 08:22 dd412275
View on Github →docs(Bicategory/Functor): fix some nolint doc entries and porting notes (#16424) Adds documentation to structures, and removes some no longer necessary porting notes.
docs(Bicategory/Functor): fix some nolint doc entries and porting notes (#16424) Adds documentation to structures, and removes some no longer necessary porting notes.