Closed olynch closed 1 year ago
In Catlab, we support aliases for term constructors. I.e., in categories we have both compose and \cdot, and they do the same thing. Instances only have to use one of them. We should have support for this in Gatlab as well.
compose
\cdot
In Catlab, we support aliases for term constructors. I.e., in categories we have both
compose
and\cdot
, and they do the same thing. Instances only have to use one of them. We should have support for this in Gatlab as well.