Hello!
When experimenting at the REPL, I often find myself typing n⎕CR
repeatedly at the beginning of lines. As an Emacs user, it wouldn't be a
problem for me to adapt Elias' mode to insert that for me automatically,
but wouldn't it be convenient to have it as a feature of the system
itself?
Maybe something like Dyalog's "]boxing on", but accepting the left
argument of ⎕CR (maybe using 1 or 7 as a default when used with "on"),
and renaming it to something like "cring", "autocr", "format" or
similar.
Regards,
Daniel