589689.xyz

Coursera - Introduction to Systematic Program Design - Part 1 (2013)

  • 收录时间:2018-05-24 02:50:00
  • 文件大小:1GB
  • 下载次数:88
  • 最近下载:2021-01-22 21:10:15
  • 磁力链接:
立即下载 复制链接

文件列表

  1. soft/racket-5.3.5-bin-i386-win32.exe 52MB
  2. video/5 - 10 - 04j HtDW With Compound Data.mp4 45MB
  3. video/1 - 1 - 01a Introduction.mp4 29MB
  4. video/5 - 4 - 04d HtDW Program Through main Function.mp4 29MB
  5. video/7 - 12 - 06l Backtracking Search.mp4 29MB
  6. video/7 - 5 - 06e More Helpers - Domain Knowledge.mp4 26MB
  7. video/4 - 1 - 02a How to Design Functions (Full Speed).mp4 25MB
  8. video/9 - 2 - 08b - Fractals.mp4 25MB
  9. video/8 - 13 - 07m Fold Functions.mp4 23MB
  10. video/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.mp4 22MB
  11. video/9 - 12 - 08l - Sudoku -- Making the Wish List Come True 3.mp4 21MB
  12. video/4 - 2 - 02b How to Design Functions (Slow Motion).mp4 21MB
  13. video/5 - 7 - 04g Improving a World Program - Add on-key Option.mp4 21MB
  14. video/6 - 8 - 05h The Reference Rule Part 1.mp4 21MB
  15. video/6 - 6 - 05f Designing With Lists 1.mp4 21MB
  16. video/8 - 5 - 07e Local Expressions -- Encapsulation.mp4 20MB
  17. video/8 - 11 - 07k Using Built In Abstract Functions.mp4 20MB
  18. video/1 - 7 - 01g Booleans and if Expressions.mp4 20MB
  19. video/4 - 6 - 02f HtDF Examples - tall.mp4 20MB
  20. video/6 - 12 - 05l A Parlor Trick.mp4 19MB
  21. video/1 - 6 - 01f Function Definitions.mp4 19MB
  22. video/9 - 8 - 08h - Sudoku -- Template Blending.mp4 18MB
  23. video/2 - 8 - 03h Itemization Data Definitions.mp4 18MB
  24. video/6 - 10 - 05j The Reference Rule Part 3.mp4 18MB
  25. video/8 - 10 - 07j Abstraction from Examples - 3.mp4 18MB
  26. video/6 - 3 - 05c A First List Data Definition.mp4 18MB
  27. video/7 - 4 - 06d More Helpers - Operating on a List.mp4 18MB
  28. video/2 - 1 - 03a cond Expressions.mp4 17MB
  29. video/2 - 11 - 03k HtDF With Itemization.mp4 17MB
  30. video/1 - 4 - 01d Strings and Images.mp4 16MB
  31. video/6 - 9 - 05i The Reference Rule Part 2.mp4 16MB
  32. video/6 - 5 - 05e Revising the Recipes for Lists.mp4 16MB
  33. video/1 - 2 - 01b Expressions.mp4 16MB
  34. video/5 - 5 - 04e HtDW Working Through the Wish List.mp4 16MB
  35. overview.pdf 15MB
  36. video/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.mp4 15MB
  37. video/2 - 7 - 03g Enumeration Data Definitions.mp4 15MB
  38. video/9 - 13 - 08z - Summary.mp4 15MB
  39. video/1 - 5 - 01e Constant Definitions.mp4 15MB
  40. video/9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.mp4 15MB
  41. video/7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.mp4 15MB
  42. video/6 - 11 - 05k Natural Numbers.mp4 15MB
  43. video/1 - 3 - 01c - Evaluation.mp4 14MB
  44. video/7 - 8 - 06h Mutually Recursive Data.mp4 14MB
  45. video/7 - 2 - 06b More Helpers - Function Composition.mp4 14MB
  46. video/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.mp4 14MB
  47. video/8 - 12 - 07l Closures.mp4 13MB
  48. video/2 - 2 - 03b Data Definitions.mp4 13MB
  49. video/8 - 6 - 07f Local Expressions -- Avoid Recomputation.mp4 13MB
  50. video/2 - 3 - 03c Atomic Non-Distinct Data Definitions.mp4 13MB
  51. video/2 - 4 - 03d HtDF with Data Definition.mp4 13MB
  52. video/9 - 3 - 08c - Termination Arguments.mp4 13MB
  53. video/8 - 9 - 07i Abstraction from Examples - 2.mp4 13MB
  54. video/1 - 9 - 01i Discovering Primitives.mp4 13MB
  55. video/8 - 8 - 07h Abstraction from Examples - 1.mp4 13MB
  56. video/5 - 3 - 04c How to Design Worlds - Analysis.mp4 12MB
  57. video/5 - 2 - 04b The big-bang Mechanism.mp4 12MB
  58. video/6 - 4 - 05d A First Function Operating On a List.mp4 12MB
  59. video/4 - 5 - 02e HtDF Examples - image-area.mp4 12MB
  60. video/2 - 6 - 03f Interval Data Definitions.mp4 11MB
  61. video/2 - 5 - 03e HtDF Form of Data Orthogonality.mp4 10MB
  62. video/7 - 6 - 06f More Helpers - Wrap Up.mp4 10MB
  63. video/5 - 9 - 04i Compound Data Definitions.mp4 10MB
  64. video/5 - 6 - 04f Improving a World Program - Add SPEED.mp4 10MB
  65. video/2 - 12 - 03l Structure of Information Flows Through.mp4 9MB
  66. video/6 - 7 - 05g Positions in List Templates.mp4 9MB
  67. video/2 - 10 - 03j HtDF With Enumeration.mp4 9MB
  68. video/2 - 9 - 03i HtDF With Interval.mp4 9MB
  69. video/6 - 2 - 05b List Mechanisms.mp4 9MB
  70. video/5 - 1 - 04a Interactive Programs.mp4 8MB
  71. video/5 - 8 - 04h define-struct.mp4 8MB
  72. video/4 - 4 - 02d HtDF Examples - area.mp4 8MB
  73. video/8 - 4 - 07d Local Expressions -- Evaluation Rules.mp4 8MB
  74. video/1 - 8 - 01h Using the Stepper.mp4 7MB
  75. video/9 - 7 - 08g - Sudoku -- The Search Intuition.mp4 7MB
  76. video/8 - 3 - 07c Local Expressions -- Lexical Scoping.mp4 7MB
  77. video/7 - 3 - 06c Layout Out a List of Images.mp4 7MB
  78. video/7 - 9 - 06i Templating Mutual Recursion.mp4 7MB
  79. video/4 - 3 - 02c HtDF Examples - yell.mp4 6MB
  80. video/9 - 4 - 08d - Introduction to Search Problems.mp4 6MB
  81. video/9 - 1 - 08a - Generative Recursion.mp4 5MB
  82. video/7 - 7 - 06g List Abbreviations.mp4 5MB
  83. video/9 - 9 - 08i - Sudoku -- Making the Wish List.mp4 5MB
  84. video/8 - 2 - 07b Local Expressions -- Forming and Intuition.mp4 5MB
  85. video/6 - 1 - 05a Introduction to Arbitrary Sized Data.mp4 5MB
  86. video/7 - 1 - 06a More Helpers and Mutual Helpers.mp4 5MB
  87. video/9 - 5 - 08e - Sudoku -- Terminology.mp4 3MB
  88. video/8 - 7 - 07g Introduction to Abstraction.mp4 3MB
  89. video/8 - 1 - 07a Introduction to Local Expressions.mp4 2MB
  90. code/prob-solution/rolling-lambda-solution.rkt 783KB
  91. code/prob-solution/rolling-lambda-without-geometry-solution.rkt 782KB
  92. quizzes/06h.pdf 780KB
  93. quizzes/05d.pdf 735KB
  94. quizzes/06k.pdf 693KB
  95. quizzes/07c.pdf 677KB
  96. quizzes/07e.pdf 668KB
  97. quizzes/03h.pdf 667KB
  98. quizzes/06b.pdf 646KB
  99. code/prob-starter/rolling-lambda-without-geometry-starter.rkt 630KB
  100. code/prob-starter/rolling-lambda-starter.rkt 630KB
  101. quizzes/05h.pdf 627KB
  102. quizzes/01g.pdf 619KB
  103. quizzes/07k.pdf 613KB
  104. quizzes/01f.pdf 608KB
  105. quizzes/01e.pdf 605KB
  106. quizzes/07d.pdf 599KB
  107. quizzes/06d.pdf 565KB
  108. quizzes/05b.pdf 533KB
  109. quizzes/06g.pdf 510KB
  110. quizzes/02b.pdf 488KB
  111. quizzes/04c.pdf 459KB
  112. quizzes/06e.pdf 439KB
  113. quizzes/03a.pdf 424KB
  114. quizzes/05k.pdf 411KB
  115. quizzes/05f.pdf 399KB
  116. quizzes/03c.pdf 396KB
  117. quizzes/03d.pdf 387KB
  118. quizzes/03k.pdf 379KB
  119. quizzes/04h.pdf 371KB
  120. quizzes/05e.pdf 365KB
  121. quizzes/03i.pdf 343KB
  122. quizzes/08c.pdf 335KB
  123. quizzes/04d.pdf 329KB
  124. quizzes/06f.pdf 316KB
  125. quizzes/01d.pdf 312KB
  126. quizzes/06c.pdf 309KB
  127. quizzes/05g.pdf 304KB
  128. quizzes/04e.pdf 302KB
  129. quizzes/06i.pdf 299KB
  130. quizzes/05j.pdf 295KB
  131. quizzes/01b.pdf 291KB
  132. quizzes/03j.pdf 279KB
  133. code/all problems.pdf 265KB
  134. quizzes/01c.pdf 264KB
  135. recepies/01 core - 02 htdd.pdf 257KB
  136. quizzes/07f.pdf 255KB
  137. quizzes/07j.pdf 241KB
  138. quizzes/04i.pdf 229KB
  139. quizzes/04g.pdf 220KB
  140. quizzes/08j.pdf 218KB
  141. recepies/01 core - 03 data driven templates.pdf 217KB
  142. code/prob-solution/termination-solution.rkt 214KB
  143. code/prob-starter/termination-starter.rkt 213KB
  144. modules/week5 self reference.pdf 205KB
  145. modules/week4 worlds.pdf 205KB
  146. modules/week7 local expression and abstraction.pdf 197KB
  147. modules/week3 data.pdf 196KB
  148. modules/week8 generative recursion.pdf 192KB
  149. modules/week1 primitives.pdf 186KB
  150. quizzes/05c.pdf 180KB
  151. quizzes/08f.pdf 173KB
  152. recepies/01 core - 04 htdw.pdf 171KB
  153. quizzes/02a.pdf 169KB
  154. recepies/01 core - 01 htd.pdf 169KB
  155. modules/week2 functions.pdf 169KB
  156. quizzes/01i.pdf 166KB
  157. modules/week6 mutual reference.pdf 166KB
  158. quizzes/03g.pdf 153KB
  159. recepies/04 abstraction - 02 from type comments.pdf 148KB
  160. code/prob-solution/sudoku-solution.rkt 142KB
  161. recepies/00 design recepies main.pdf 139KB
  162. code/prob-starter/sudoku-v4.rkt 139KB
  163. code/prob-starter/sudoku-v3.rkt 132KB
  164. recepies/03 control driven - 01 function composition.pdf 132KB
  165. code/prob-starter/fractals-starter.rkt 131KB
  166. quizzes/03f.pdf 130KB
  167. code/prob-starter/cantor-starter.rkt 130KB
  168. code/prob-starter/sudoku-v2.rkt 127KB
  169. code/prob-starter/sudoku-v1.rkt 126KB
  170. quizzes/08h.pdf 125KB
  171. code/prob-solution/cat-v4.rkt 123KB
  172. code/prob-starter/sudoku-starter.rkt 123KB
  173. recepies/04 abstraction - 03 abstract functions.pdf 123KB
  174. code/prob-solution/cowabunga-v6.rkt 119KB
  175. code/prob-solution/cowabunga-v5.rkt 117KB
  176. code/prob-starter/add-mouse-handler-starter.rkt 117KB
  177. modules/to do well.pdf 116KB
  178. code/prob-solution/cowabunga-v4.rkt 115KB
  179. code/prob-solution/cat.rkt 114KB
  180. code/prob-starter/cat-v2.rkt 112KB
  181. code/prob-starter/cat-v1.rkt 112KB
  182. code/prob-solution/cowabunga-v3.rkt 112KB
  183. code/prob-starter/cat-starter.rkt 111KB
  184. quizzes/05i.pdf 110KB
  185. code/prob-starter/cowabunga-starter.rkt 109KB
  186. code/prob-solution/cowabunga-v2.rkt 108KB
  187. code/prob-solution/van-koch-solution.rkt 107KB
  188. recepies/03 control driven - 03 generative recursion.pdf 107KB
  189. recepies/03 control driven - 02 backtracking.pdf 106KB
  190. code/prob-solution/cowabunga-v1.rkt 106KB
  191. code/prob-solution/cowabunga-v0.rkt 104KB
  192. quizzes/06l.pdf 103KB
  193. quizzes/07m.pdf 102KB
  194. code/prob-starter/fold-functions-starter.rkt 101KB
  195. code/prob-solution/circle-fractal-solution.rkt 100KB
  196. code/prob-solution/ellipses-solution.rkt 98KB
  197. code/prob-solution/making-rain-filtered-solution.rkt 97KB
  198. quizzes/04b.pdf 97KB
  199. code/prob-solution/tuition-graph-c-solution.rkt 96KB
  200. code/prob-starter/van-koch-starter.rkt 95KB
  201. code/prob-solution/spinning-solution.rkt 94KB
  202. code/prob-starter/ellipses-starter.rkt 94KB
  203. quizzes/07b.pdf 93KB
  204. code/prob-solution/image-organizer-solution.rkt 93KB
  205. code/prob-solution/fold-dir-solution.rkt 92KB
  206. recepies/04 abstraction - 01 from examples.pdf 92KB
  207. code/prob-solution/alternative-tuition-graph-solution.rkt 91KB
  208. code/prob-solution/growing-grass-solution.rkt 89KB
  209. code/prob-starter/arrange-images-v4.rkt 89KB
  210. code/prob-solution/using-built-ins-solution.rkt 88KB
  211. code/prob-starter/circle-fractal-starter.rkt 88KB
  212. code/prob-starter/tuition-graph-v3.rkt 87KB
  213. code/prob-starter/arrange-images-v5.rkt 87KB
  214. code/prob-starter/using-built-ins-starter.rkt 86KB
  215. code/prob-starter/making-rain-filtered-starter.rkt 86KB
  216. code/prob-solution/new-numerals-solution.rkt 86KB
  217. code/prob-starter/tuition-graph-c-starter.rkt 86KB
  218. code/prob-starter/next-color-starter.rkt 85KB
  219. code/prob-solution/breakfast-solution.rkt 85KB
  220. code/prob-solution/abstract-some-solution.rkt 84KB
  221. code/prob-solution/find-person-solution.rkt 84KB
  222. code/prob-starter/spinning-starter.rkt 84KB
  223. code/prob-starter/image-organizer-starter.rkt 84KB
  224. code/prob-starter/encapsulate-total-area-starter.rkt 83KB
  225. code/prob-starter/pythag-starter.rkt 83KB
  226. code/prob-solution/cartesian-solution.rkt 83KB
  227. code/prob-solution/naturals-solution.rkt 83KB
  228. code/prob-solution/trip-solution.rkt 83KB
  229. code/prob-starter/arrange-images-v3.rkt 82KB
  230. code/prob-starter/tuition-graph-starter.rkt 82KB
  231. code/prob-solution/movie-solution.rkt 82KB
  232. code/prob-solution/closures-solution.rkt 82KB
  233. code/prob-solution/abstract-sum-solution.rkt 82KB
  234. code/prob-starter/fold-dir-starter.rkt 82KB
  235. code/prob-starter/cartesian-starter.rkt 81KB
  236. code/prob-solution/student-solution.rkt 81KB
  237. code/prob-starter/closures-starter.rkt 81KB
  238. code/prob-solution/rocket-solution.rkt 81KB
  239. code/prob-solution/dinner-solution.rkt 80KB
  240. code/prob-starter/arrange-images-v2.rkt 80KB
  241. code/prob-starter/naturals-starter.rkt 80KB
  242. code/prob-starter/find-person-starter.rkt 80KB
  243. code/prob-solution/demolish-solution.rkt 80KB
  244. code/prob-solution/image-list-solution.rkt 80KB
  245. code/prob-solution/yell-all-solution.rkt 79KB
  246. code/prob-solution/total-string-length-solution.rkt 79KB
  247. code/prob-starter/growing-grass-starter.rkt 79KB
  248. code/prob-solution/bag-solution.rkt 79KB
  249. code/prob-solution/boxify-solution.rkt 79KB
  250. code/prob-starter/breakfast-starter.rkt 79KB
  251. code/prob-solution/evaluate-boo-solution.rkt 79KB
  252. code/prob-solution/double-solution.rkt 79KB
  253. code/prob-solution/largest-solution.rkt 79KB
  254. code/prob-solution/boolean-list-solution.rkt 79KB
  255. code/prob-solution/direction-solution.rkt 78KB
  256. code/prob-solution/employees-solution.rkt 78KB
  257. code/prob-solution/sum-n-solution.rkt 78KB
  258. code/prob-solution/countdown-to-display-solution.rkt 78KB
  259. code/prob-starter/abstract-some-starter.rkt 78KB
  260. code/prob-starter/evaluate-boo-starter.rkt 78KB
  261. code/prob-starter/alternative-tuition-graph-starter.rkt 78KB
  262. code/prob-starter/abstract-sum-starter.rkt 77KB
  263. code/prob-starter/total-string-length-starter.rkt 77KB
  264. code/prob-starter/bag-starter.rkt 77KB
  265. code/prob-starter/movie-starter.rkt 77KB
  266. code/prob-starter/trip-starter.rkt 77KB
  267. code/prob-starter/yell-all-starter.rkt 77KB
  268. code/prob-starter/countdown-to-display-starter.rkt 77KB
  269. code/prob-starter/largest-starter.rkt 77KB
  270. code/prob-starter/designing-with-lists-1-starter.rkt 77KB
  271. code/prob-starter/sum-n-starter.rkt 77KB
  272. code/prob-starter/student-starter.rkt 77KB
  273. code/prob-starter/dinner-starter.rkt 77KB
  274. code/prob-starter/rocket-starter.rkt 76KB
  275. code/prob-starter/quidditch-recap-starter.rkt 76KB
  276. code/prob-starter/photos-starter.rkt 76KB
  277. code/prob-starter/demolish-starter.rkt 76KB
  278. code/prob-starter/direction-starter.rkt 76KB
  279. code/prob-starter/employees-starter.rkt 76KB
  280. code/prob-starter/boxify-starter.rkt 76KB
  281. code/prob-solution/make-box-solution.rkt 76KB
  282. code/prob-solution/image-area-solution.rkt 75KB
  283. code/prob-starter/evaluate-foo-starter.rkt 75KB
  284. code/prob-starter/image-list-starter.rkt 75KB
  285. code/prob-starter/boolean-list-starter.rkt 75KB
  286. code/prob-starter/wide-only-starter.rkt 74KB
  287. code/prob-solution/summon-solution.rkt 74KB
  288. code/prob-solution/countdown-solution.rkt 74KB
  289. code/prob-starter/new-numerals-starter.rkt 74KB
  290. code/prob-solution/bump-up-solution.rkt 74KB
  291. code/prob-solution/foo-evaluation-solution.rkt 74KB
  292. code/prob-solution/tall-solution.rkt 74KB
  293. code/prob-solution/compare-images-solution.rkt 74KB
  294. code/prob-solution/ensure-question-solution.rkt 74KB
  295. code/prob-solution/less-than-five-solution.rkt 74KB
  296. code/prob-starter/cond-starter.rkt 73KB
  297. code/prob-starter/arrange-images-starter.rkt 73KB
  298. code/prob-solution/best-solution.rkt 73KB
  299. code/prob-solution/overlay-solution.rkt 73KB
  300. code/prob-solution/aisle-solution.rkt 73KB
  301. code/prob-solution/tile-solution.rkt 73KB
  302. code/prob-solution/seat-num-solution.rkt 73KB
  303. code/prob-solution/letter-grade-solution.rkt 73KB
  304. code/prob-starter/summon-starter.rkt 72KB
  305. code/prob-starter/overlay-starter.rkt 72KB
  306. code/prob-solution/area-solution.rkt 72KB
  307. code/prob-starter/compare-images-starter.rkt 72KB
  308. code/prob-solution/yell-solution.rkt 72KB
  309. code/prob-starter/quidditch-starter.rkt 72KB
  310. code/prob-starter/bump-up-starter.rkt 72KB
  311. code/prob-starter/best-starter.rkt 72KB
  312. code/prob-solution/city-name-solution.rkt 72KB
  313. code/prob-starter/tile-starter.rkt 72KB
  314. code/prob-starter/ensure-question-starter.rkt 72KB
  315. code/prob-solution/even-more-foo-evaluation-solution.rkt 72KB
  316. code/prob-solution/evaluation-prims-solution.rkt 72KB
  317. code/prob-solution/more-foo-evaluation-solution.rkt 72KB
  318. code/prob-solution/more-arithmetic-expression-solution.rkt 72KB
  319. code/prob-starter/make-box-starter.rkt 72KB
  320. code/prob-starter/aisle-starter.rkt 72KB
  321. code/prob-starter/countdown-starter.rkt 72KB
  322. code/prob-starter/seat-num-starter.rkt 72KB
  323. code/prob-starter/more-arithmetic-expression-starter.rkt 71KB
  324. code/prob-starter/less-than-five-starter.rkt 71KB
  325. code/prob-starter/image-area-starter.rkt 71KB
  326. code/prob-starter/foo-evaluation-starter.rkt 71KB
  327. code/prob-starter/even-more-foo-evaluation-starter.rkt 71KB
  328. code/prob-starter/letter-grade-starter.rkt 71KB
  329. code/prob-starter/more-foo-evaluation-starter.rkt 71KB
  330. code/prob-starter/city-name-starter.rkt 71KB
  331. code/prob-starter/yell-starter.rkt 71KB
  332. code/prob-starter/evaluation-prims-starter.rkt 71KB
  333. code/prob-starter/tall-starter.rkt 71KB
  334. code/prob-solution/glue-solution.rkt 71KB
  335. code/prob-solution/arithmetic-expression-solution.rkt 70KB
  336. code/prob-starter/double-starter.rkt 70KB
  337. code/prob-starter/arithmetic-expression-starter.rkt 70KB
  338. code/prob-starter/glue-starter.rkt 70KB
  339. code/prob-starter/compound-starter.rkt 70KB
  340. code/prob-starter/area-starter.rkt 70KB
  341. code/prob-starter/fs-v4.rkt 43KB
  342. code/prob-starter/fs-v3.rkt 37KB
  343. subtitles/5 - 10 - 04j HtDW With Compound Data.srt 37KB
  344. code/prob-starter/fs-v2.rkt 33KB
  345. code/prob-starter/fs-v1.rkt 29KB
  346. subtitles/9 - 2 - 08b - Fractals.srt 27KB
  347. code/prob-starter/fs-v6.rkt 24KB
  348. subtitles/8 - 13 - 07m Fold Functions.srt 23KB
  349. subtitles/8 - 11 - 07k Using Built In Abstract Functions.srt 23KB
  350. subtitles/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.srt 22KB
  351. subtitles/7 - 12 - 06l Backtracking Search.srt 21KB
  352. subtitles/8 - 5 - 07e Local Expressions -- Encapsulation.srt 21KB
  353. subtitles/8 - 10 - 07j Abstraction from Examples - 3.srt 21KB
  354. subtitles/5 - 4 - 04d HtDW Program Through main Function.srt 18KB
  355. subtitles/6 - 12 - 05l A Parlor Trick.srt 18KB
  356. subtitles/9 - 13 - 08z - Summary.srt 18KB
  357. subtitles/7 - 2 - 06b More Helpers - Function Composition.srt 17KB
  358. subtitles/7 - 5 - 06e More Helpers - Domain Knowledge.srt 16KB
  359. subtitles/1 - 7 - 01g Booleans and if Expressions.srt 16KB
  360. subtitles/5 - 7 - 04g Improving a World Program - Add on-key Option.srt 16KB
  361. subtitles/5 - 2 - 04b The big-bang Mechanism.srt 16KB
  362. subtitles/6 - 5 - 05e Revising the Recipes for Lists.srt 16KB
  363. subtitles/6 - 9 - 05i The Reference Rule Part 2.srt 16KB
  364. subtitles/9 - 8 - 08h - Sudoku -- Template Blending.srt 16KB
  365. subtitles/1 - 6 - 01f Function Definitions.srt 15KB
  366. subtitles/7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.srt 15KB
  367. subtitles/4 - 2 - 02b How to Design Functions (Slow Motion).srt 15KB
  368. subtitles/6 - 6 - 05f Designing With Lists 1.srt 15KB
  369. subtitles/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.srt 15KB
  370. subtitles/6 - 3 - 05c A First List Data Definition.srt 15KB
  371. subtitles/6 - 8 - 05h The Reference Rule Part 1.srt 14KB
  372. subtitles/1 - 4 - 01d Strings and Images.srt 14KB
  373. subtitles/6 - 11 - 05k Natural Numbers.srt 14KB
  374. subtitles/2 - 1 - 03a cond Expressions.srt 14KB
  375. subtitles/9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.srt 13KB
  376. subtitles/4 - 6 - 02f HtDF Examples - tall.srt 13KB
  377. subtitles/5 - 5 - 04e HtDW Working Through the Wish List.srt 13KB
  378. subtitles/8 - 12 - 07l Closures.srt 13KB
  379. subtitles/2 - 8 - 03h Itemization Data Definitions.srt 13KB
  380. subtitles/9 - 3 - 08c - Termination Arguments.srt 13KB
  381. subtitles/6 - 10 - 05j The Reference Rule Part 3.srt 13KB
  382. subtitles/8 - 6 - 07f Local Expressions -- Avoid Recomputation.srt 13KB
  383. subtitles/8 - 8 - 07h Abstraction from Examples - 1.srt 13KB
  384. subtitles/7 - 8 - 06h Mutually Recursive Data.srt 13KB
  385. subtitles/2 - 11 - 03k HtDF With Itemization.srt 13KB
  386. subtitles/7 - 4 - 06d More Helpers - Operating on a List.srt 12KB
  387. subtitles/8 - 9 - 07i Abstraction from Examples - 2.srt 12KB
  388. subtitles/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.srt 12KB
  389. subtitles/1 - 2 - 01b Expressions.srt 12KB
  390. subtitles/2 - 7 - 03g Enumeration Data Definitions.srt 11KB
  391. subtitles/2 - 2 - 03b Data Definitions.srt 11KB
  392. subtitles/4 - 1 - 02a How to Design Functions (Full Speed).srt 10KB
  393. subtitles/5 - 3 - 04c How to Design Worlds - Analysis.srt 10KB
  394. subtitles/2 - 3 - 03c Atomic Non-Distinct Data Definitions.srt 10KB
  395. subtitles/1 - 5 - 01e Constant Definitions.srt 10KB
  396. subtitles/8 - 4 - 07d Local Expressions -- Evaluation Rules.srt 10KB
  397. subtitles/6 - 7 - 05g Positions in List Templates.srt 10KB
  398. subtitles/6 - 2 - 05b List Mechanisms.srt 10KB
  399. subtitles/2 - 4 - 03d HtDF with Data Definition.srt 9KB
  400. subtitles/1 - 3 - 01c - Evaluation.srt 9KB
  401. subtitles/8 - 3 - 07c Local Expressions -- Lexical Scoping.srt 9KB
  402. subtitles/1 - 1 - 01a Introduction.srt 9KB
  403. subtitles/2 - 6 - 03f Interval Data Definitions.srt 9KB
  404. subtitles/6 - 4 - 05d A First Function Operating On a List.srt 9KB
  405. subtitles/7 - 6 - 06f More Helpers - Wrap Up.srt 8KB
  406. subtitles/5 - 6 - 04f Improving a World Program - Add SPEED.srt 8KB
  407. subtitles/9 - 7 - 08g - Sudoku -- The Search Intuition.srt 8KB
  408. subtitles/2 - 10 - 03j HtDF With Enumeration.srt 8KB
  409. subtitles/2 - 5 - 03e HtDF Form of Data Orthogonality.srt 7KB
  410. subtitles/1 - 8 - 01h Using the Stepper.srt 7KB
  411. subtitles/1 - 9 - 01i Discovering Primitives.srt 7KB
  412. subtitles/4 - 5 - 02e HtDF Examples - image-area.srt 7KB
  413. subtitles/5 - 9 - 04i Compound Data Definitions.srt 7KB
  414. subtitles/5 - 8 - 04h define-struct.srt 6KB
  415. subtitles/8 - 2 - 07b Local Expressions -- Forming and Intuition.srt 6KB
  416. subtitles/2 - 9 - 03i HtDF With Interval.srt 6KB
  417. subtitles/7 - 7 - 06g List Abbreviations.srt 6KB
  418. subtitles/4 - 4 - 02d HtDF Examples - area.srt 6KB
  419. subtitles/2 - 12 - 03l Structure of Information Flows Through.srt 6KB
  420. subtitles/7 - 9 - 06i Templating Mutual Recursion.srt 5KB
  421. subtitles/7 - 3 - 06c Layout Out a List of Images.srt 4KB
  422. subtitles/9 - 9 - 08i - Sudoku -- Making the Wish List.srt 4KB
  423. subtitles/4 - 3 - 02c HtDF Examples - yell.srt 4KB
  424. code/prob-starter/parameterization-v3.rkt 4KB
  425. subtitles/9 - 5 - 08e - Sudoku -- Terminology.srt 4KB
  426. subtitles/5 - 1 - 04a Interactive Programs.srt 3KB
  427. code/prob-starter/parameterization-starter.rkt 3KB
  428. code/prob-starter/parameterization-v2.rkt 3KB
  429. subtitles/9 - 4 - 08d - Introduction to Search Problems.srt 3KB
  430. subtitles/9 - 1 - 08a - Generative Recursion.srt 2KB
  431. subtitles/6 - 1 - 05a Introduction to Arbitrary Sized Data.srt 2KB
  432. subtitles/7 - 1 - 06a More Helpers and Mutual Helpers.srt 2KB
  433. subtitles/8 - 7 - 07g Introduction to Abstraction.srt 1KB
  434. code/prob-starter/fs-starter.rkt 1KB
  435. subtitles/8 - 1 - 07a Introduction to Local Expressions.srt 924B
  436. code/prob-starter/stepper-starter.rkt 587B
  437. code/prob-starter/function-definitions-starter.rkt 542B