Allan Odgaard <throw-away-1@...> writes:
But it is a common request to get more flexibility in the system, so I am considering it, though I have yet to see a good proposal for how to improve it ;)
What about adding a preference to choose if use indentation or rely exclusively on the rules in the language definition? this should not be difficult
Piero