Dynamic tabbing for automatic indentation with the layout rule

Abstract

We show the design principles of an automatic indentation GNU Emacs mode for Haskell and Miranda(tm), functional languages using the 'layout rule' instead of the usual parenthetic structures for indentifying dependent program parts.