Extra new lines are created between cases after formatting, such as:
Instead of:
And the latter seems more elegant and tidy (Idris / Agda and other languages that support case-split usually obey this format). Is there a way to avoid adding newlines after formatting? Thanks for answering!
Extra new lines are created between cases after formatting, such as:
Instead of:
And the latter seems more elegant and tidy (Idris / Agda and other languages that support case-split usually obey this format). Is there a way to avoid adding newlines after formatting? Thanks for answering!