Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Isn't this only true if you've got a formal system for converting the API to a diagram? I mentioned "pic" elsewhere, what were you thinking of?


Luckily we do. Our diagrams are sound and complete for free symmetric monoidal categories, meaning that every diagram can be converted to a morphism in a category. :)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: