Referenced from lesson Reviewing the Basics
Fill out the contract for each function, then try to write two examples and the definition by yourself.
Directions:
Contract and Purpose Statement |
Every contract has three parts…
# double::______->______
#
Examples |
Write some examples, then circle and label what changes…
examples:
__double ("5")is 2 * 5
__double ("7")is 2 * 7
end
Definition |
Write the definition, giving variable names to all your input values…
fun double(n):
__2 * n
end
Directions:
Contract and Purpose Statement |
Every contract has three parts…
# _::_->_
# _______
Examples |
Write some examples, then circle and label what changes…
examples:
___ (__)is _
___ (__)is _
end
Definition |
Write the definition, giving variable names to all your input values…
fun _(_):
___
end
These materials were developed partly through support of the National Science Foundation,
(awards 1042210, 1535276, 1648684, and 1738598). 
Bootstrap:Reactive by Emma Youndtsmith, Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Joe Politz 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.