idris-ct icon indicating copy to clipboard operation
idris-ct copied to clipboard

Published 20 hours ago • verified publisher icon statebox

define smproc category

Open marcosh opened this issue 5 years ago • 0 comments

in https://github.com/jameshaydon/smproc there is defined a monoidal category. Integrate it with out definitions

coming from https://github.com/statebox/idris-stbx-core/issues/30

marcosh avatar Apr 04 '19 17:04 marcosh