Indentation from grammar
Is there work on turning a menhir parser into an indenter? In emacs SMIE proposes something similar. And I heard that ocp-indent works similarly.
Is there work on turning a menhir parser into an indenter? In emacs SMIE proposes something similar. And I heard that ocp-indent works similarly.