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