Closed valis closed 4 years ago
We should insert a space before a reference if it starts with - and the previous symbol is {. For example, the following code is printed incorrectly right now.
-
{
\func - (x : Nat) => x \func f {x : Nat} => x \func test => f {- 0}
We should insert a space before a reference if it starts with
-and the previous symbol is{. For example, the following code is printed incorrectly right now.