Directions: gt
Contract and Purpose Statement
Every contract has three parts…
; MM:MMMMMMM->MMMMM
; M
Examples
Write some examples, then circle and label what changes…
(EXAMPLE (MM MMM)MMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
(EXAMPLE (MM MMM)MMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
Definition
Write the definition, giving variable names to all your input values…
(define (MM MMMMM)
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
Directions: gold-star
Contract and Purpose Statement
Every contract has three parts…
; MMMMMMMMM:MMMMMMM->MMMMM
; M
Examples
Write some examples, then circle and label what changes…
(EXAMPLE (MMMMMMMMM MMM)MMMMMMMMMMMMMMMMMMMMMMMM)
(EXAMPLE (MMMMMMMMM MMM)MMMMMMMMMMMMMMMMMMMMMMMM)
Definition
Write the definition, giving variable names to all your input values…
(define (MMMMMMMMM MMMMMMM)
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
Directions: MMMMMMMMMM
Contract and Purpose Statement
Every contract has three parts…
; MMMMMMMMMM:M->M
; M
Examples
Write some examples, then circle and label what changes…
(EXAMPLE (MMMMMMMMMM MMMMMMMMMMMMMM)MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
(EXAMPLE (MMMMMMMMMM MMMMMMMMMMMMMM)MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
Definition
Write the definition, giving variable names to all your input values…
(define (MMMMMMMMMM M)
MMMM)
Directions: MMMMMMMMMM
Contract and Purpose Statement
Every contract has three parts…
; MMMMMMMMMM:M->M
; M
Examples
Write some examples, then circle and label what changes…
(EXAMPLE (MMMMMMMMMM MMMMMMMMMMMMMM)MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
(EXAMPLE (MMMMMMMMMM MMMMMMMMMMMMMM)MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM)
Definition
Write the definition, giving variable names to all your input values…
(define (MMMMMMMMMM M)
MMMM)
These materials were developed partly through support of the National Science Foundation,
(awards 1042210, 1535276, 1648684, and 1738598).
BS:Games by Jen Poole, Emmanuel Schanzer, Ed Campos Jr, and Dorai Sitaram
is licensed under a
Creative Commons 4.0 Unported License.
Based on a work at www.BootstrapWorld.org.
Permissions beyond the scope of this license may be available by contacting
schanzer@BootstrapWorld.org.