A lexical convention due to Landin, allowing the scope of

declarations in a program to be expressed by indentation. Any

non-whitespace token to the left of the first such token on

the previous line is taken to be the start of a new

declaration. Used in, for example, Miranda and Haskell.