3 ms·

Oh, well then could you point me to a formal definition of the syntax and semantics for the unary "..." operator then? What is then domain and codomain, for exa

by enord 9y ago

Oh, well then could you point me to a formal definition of the syntax and semantics for the unary "..." operator then? What is then domain and codomain, for example? Much obliged.

cgmg 9y ago
... is not an operator.