Closed treeowl closed 2 years ago
In the spirit of "If we can, then we should". I think most of them can just be derived. Yoneda and Coyoneda need to be written by hand, but it's no big deal. I'm pretty sure Day is a no-go.
Yoneda
Coyoneda
Day
In the spirit of "If we can, then we should". I think most of them can just be derived.
Yoneda
andCoyoneda
need to be written by hand, but it's no big deal. I'm pretty sureDay
is a no-go.