Commit 2023-02-07 04:16 8e132e27
View on Github →feat: port CategoryTheory.Bicategory.Basic (#2126) Pretty straightforward except I don't know how to use aesop_cat in place of ext.
feat: port CategoryTheory.Bicategory.Basic (#2126) Pretty straightforward except I don't know how to use aesop_cat in place of ext.