intellij-arend
intellij-arend copied to clipboard
Unwrap parentheses breaks code
\func foo : Nat -> Nat => {?}
\func bar => foo(1)
Yes, I know, it's a dumb case. Still the space should be inserted.