Post #3023673

@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.