Add labels on paths and nodes

wetneb / sheetshow

A renderer for sheet diagrams in bimonoidal categories

https://wetneb.github.io/sheetshow/

MIT License

11 stars 0 forks source link

Closed wetneb closed 4 years ago

wetneb commented 4 years ago

We want to add labels to paths (domains, codomains) and nodes (morphism names).