Skip to content

Commit

Permalink
feat: port CategoryTheory.Category.Ulift
Browse files Browse the repository at this point in the history
  • Loading branch information
@urkud
urkud committed Feb 16, 2023
1 parent aeba7cb commit 72de17f
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 72de17f

Please sign in to comment.