(Free) categories with constraints + n-ary monoidal products.
Primary LanguageHaskellMIT LicenseMIT
No one’s star this repository yet.