search

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris
https://statebox.org/
1 stars 1 forks source link

define non-strict monoidal categories #11

Closed marcosh closed 5 years ago