An exploration of string diagrams, monoidal categories and functional programming in the browser
GNU Affero General Public License v3.0
0
stars
1
forks
source link
readme
Monochord
An exploration of string diagrams and related graphical languages for monoidal categories. We want to build some sort of web-based components and/or libraries for working with string diagrams.