The following rules must be adhered to when programming with LEDA in order to write syntactically and semantically correct and efficient LEDA programs. The comprehension of most of the rules is eased by the categorization of the LEDA types given in section rules-exp.
Every rule is illustrated in section rules-exp by one or more code examples.