4 commits

Author	SHA1	Message	Date
Kiana Sheibani	5a35b099c1	Document everything	2023-03-07 22:15:08 -05:00
Kiana Sheibani	551f238ab7	Add profunctor strength interface	2023-03-05 17:06:27 -05:00
Kiana Sheibani	80fb506448	Define profunctor adjunctions	2023-03-05 00:00:50 -05:00
Kiana Sheibani	f2392954c2	Add profunctor functor interfaces	2023-03-04 23:57:12 -05:00