@BartoszMilewski@mathstodon.xyz
Post #3023687
2026-05-15 08:03 UTC
@sjoerd_visscher
I decided to write a post about my toy implementation of profunctor equipments. Here's the preview.
https://bartoszmilewski.com/?p=14290&preview=1&_ppp=770ff31cfc
Replies (1)
-
@sjoerd_visscher@types.pl 2026-05-15 09:11
@BartoszMilewski@mathstodon.xyz Nice post and thanks for the mention! One nitpick: I don't think the forall is optional in this case.