29:54

L21: Fixed Points

23:58

L13: Interpreting IfArith

32:12

L10: Tail Calls and Tail Recursion

17:38

L0: Racket Basics

20:12

L20: Church Numerals

19:03

Project 1: PageRank

33:55

L17: Lambda Calculus Reductions and Substitution

30:10

L15: Small Step Semantics of IfArith