Write the contracts used to create each of the following collections of examples. The first one has been done for you.
1 ; big-triangle :: Number, String -> Image
(EXAMPLE (big-triangle 100 "red")
(triangle 100 "solid" "red"))
(EXAMPLE (big-triangle 200 "orange")
(triangle 200 "solid" "orange"))
2
(EXAMPLE (purple-square 15)
(rectangle 15 15 "outline" "purple"))
(EXAMPLE (purple-square 6)
(rectangle 6 6 "outline" "purple"))
3
(EXAMPLE (sum 5 8) (+ 5 8))
(EXAMPLE (sum 9 6) (+ 9 6))
(EXAMPLE (sum 120 11) (+ 120 11))
4
(EXAMPLE (banner "Game Today!")
(text "Game Today!" 50 "red"))
(EXAMPLE (banner "Go Team!")
(text "Go Team!" 50 "red"))
(EXAMPLE (banner "Exit")
(text "Exit" 50 "red"))
5
(EXAMPLE (twinkle "outline" "red")
(star 5 "outline" "red"))
(EXAMPLE (twinkle "solid" "pink")
(star 5 "solid" "pink"))
(EXAMPLE (twinkle "outline" "grey")
(star 5 "outline" "grey"))
6
(EXAMPLE (half 5) (/ 5 2))
(EXAMPLE (half 8) (/ 8 2))
(EXAMPLE (half 900) (/ 900 2))
7
(EXAMPLE (Spanish 5) "cinco")
(EXAMPLE (Spanish 30) "treinta")
(EXAMPLE (Spanish 12) "doce")
These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, 1738598, 2031479, and 1501927). 
Bootstrap by the Bootstrap Community is licensed under a Creative Commons 4.0 Unported License. This license does not grant permission to run training or professional development. Offering training or professional development with materials substantially derived from Bootstrap must be approved in writing by a Bootstrap Director. Permissions beyond the scope of this license, such as to run training, may be available by contacting contact@BootstrapWorld.org.