@BartoszMilewski@mathstodon.xyz
Post #3023672
2026-04-24 14:45 UTC
@sjoerd_visscher@types.pl
This is some very impressive library. Are you planning on writing more detailed documentation for it? Translating from category theory to Haskell involves a lot of implementation decisions, so some kind of roadmap would be very useful.
Replies (1)
-
@sjoerd_visscher@types.pl 2026-04-24 15:09
@BartoszMilewski@mathstodon.xyz Thanks! More documentation is definitely coming, especially since the design is starting to settle now. I'm for now focussing on the more practical side, like testing, generating diagrams, and trying to be able to do what's in the book Seven Sketches in Compositionality. So the bicategorical stuff will have to wait a bit.