-
Hans-Peter Deifel authored
Parses functor expressions of the form `X^2` with corresponding morphisms `{0: x, 1: y}`. The latter should in theory also be writable as a product `(x,y)`, but that would lead to ambiguity with the product parser, so currently you'd have to use the functor `XxX` instead of `X^2` to get that morphism syntax.
26dd5fe4