Video Lectures Help
Having trouble viewing lectures? Try changing players. Your current player format is html5. Change to flash.
- 01a Introduction
- 01b Expressions
- 01c - Evaluation
- 01d Strings and Images
- 01e Constant Definitions
- 01f Function Definitions
- 01g Booleans and if Expressions
- 01h Using the Stepper
- 01i Discovering Primitives
- Completed 02a How to Design Functions (Full Speed)
- 02b How to Design Functions (Slow Motion)
- 02c HtDF Examples - yell
- 02d HtDF Examples - area
- 02e HtDF Examples - image-area
- 02f HtDF Examples - tall
- 03a cond Expressions
- 03b Data Definitions
- 03c Atomic Non-Distinct Data Definitions
- 03d HtDF with Data Definition
- 03e HtDF Form of Data Orthogonality
- 03f Interval Data Definitions
- 03g Enumeration Data Definitions
- 03h Itemization Data Definitions
- 03i HtDF With Interval
- 03j HtDF With Enumeration
- 03k HtDF With Itemization
- 03l Structure of Information Flows Through
- 04a Interactive Programs
- 04b The big-bang Mechanism
- 04c How to Design Worlds - Analysis
- 04d HtDW Program Through main Function
- 04e HtDW Working Through the Wish List
- 04f Improving a World Program - Add SPEED
- 04g Improving a World Program - Add on-key Option
- 04h define-struct
- 04i Compound Data Definitions
- 04j HtDW With Compound Data
- Project 1 (Editor) Demo
- 05a Introduction to Arbitrary Sized Data
- 05b List Mechanisms
- 05c A First List Data Definition
- 05d A First Function Operating On a List
- 05e Revising the Recipes for Lists
- 05f Designing With Lists 1
- 05g Positions in List Templates
- 05h The Reference Rule Part 1
- 05i The Reference Rule Part 2
- 05j The Reference Rule Part 3
- 05k Natural Numbers
- 05l A Parlor Trick
- 06a More Helpers and Mutual Helpers
- 06b More Helpers - Function Composition
- 06c Layout Out a List of Images
- 06d More Helpers - Operating on a List
- 06e More Helpers - Domain Knowledge
- 06f More Helpers - Wrap Up
- 06g List Abbreviations
- 06h Mutually Recursive Data
- 06i Templating Mutual Recursion
- 06j Functions on Mutually Recursive Data - Part 1
- 06k Functions on Mutually Recursive Data - Part 2
- 06l Backtracking Search
- 07a Introduction to Local Expressions
- 07b Local Expressions -- Forming and Intuition
- 07c Local Expressions -- Lexical Scoping
- 07d Local Expressions -- Evaluation Rules
- 07e Local Expressions -- Encapsulation
- 07f Local Expressions -- Avoid Recomputation
- 07g Introduction to Abstraction
- 07h Abstraction from Examples - 1
- 07i Abstraction from Examples - 2
- 07j Abstraction from Examples - 3
- 07k Using Built In Abstract Functions
- 07l Closures
- 07m Fold Functions
- 08a - Generative Recursion
- 08b - Fractals
- 08c - Termination Arguments
- 08d - Introduction to Search Problems
- 08e - Sudoku -- Terminology
- 08f - Sudoku -- Data Definitions and Primitives
- 08g - Sudoku -- The Search Intuition
- 08h - Sudoku -- Template Blending
- 08i - Sudoku -- Making the Wish List
- 08j - Sudoku -- Making the Wish List Come True 1
- 08k - Sudoku -- Making the Wish List Come True 2
- 08l - Sudoku -- Making the Wish List Come True 3
- 08z - Summary