Open G3Kappa opened 5 months ago
Reproduce: try defining an operator named: ::= or is_point. Speculation: Since ":=" and "is" are operators, this breaks something.
Reproduce: try defining an operator named: ::= or is_point. Speculation: Since ":=" and "is" are operators, this breaks something.