#section programming
<dt><a href="smalleiffel/html/index.html">SmallEiffel</a>
<dd>SmallEiffel programming tools for the Eiffel language.<P>
  Eiffel is a pure object-oriented language, that is intended to facilitate
  reuse of routines.  It does this through the concept of "Design by Contract";
  each class and each feature of a class publicises the conditions that it 
  guarantees to maintain, given that the published input conditions are met.<p>
  Eiffel code should be comprehensible by non-computer people, with only a
  little assistance.
