@(#)$Id: objectives.txt,v 1.1 1994/09/18 02:26:31 leavens Exp $

The objectives of this exercise are to help you learn about:

how to write a simple LSL trait
the value of using traits, even for function specs.
the idea of finiteness
the idea of interface specfication


The extra exercises help you learn about:

floating point
the connection between invariants and types