ADTs for edges and vertices

ohnosequences / monochord

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

Open mroman42 opened 8 years ago

mroman42 commented 8 years ago

We should add ADTs for edges and vertices, treating identities and tensors differently.