Header

Translate your contract into Scheme syntax. For example, the contract
; area-of-ring : number (inner radius), number (outer radius) => number
would translate into the Scheme code
(define (area-of-ring inner outer)
    (...))

Last modified: Fri Nov 5 09:14:50 EST 1999
Stephen Bloch / sbloch@adelphi.edu