[Ur] indentation style

Adam Chlipala adamc at csail.mit.edu
Mon Mar 27 13:38:17 EDT 2017


On 03/27/2017 01:25 PM, Marko Schütz Schmuck wrote:
> I noticed that the default indentation style that is used with
> many/most urweb source files makes the line start wander to the right
> quite quickly making the source harder to read.

Well, that's a matter of taste.  I'm quite used to this style (inherited 
from sml-mode) and find it convenient for code-reading.



More information about the Ur mailing list