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