• Hans-Peter Deifel's avatar
    Allow to use finite integer sets as exponent · 26dd5fe4
    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.