3 These topics are organized in two ways: by their content, and by the
4 week in which they were introduced.
6 ## Topics by content ##
8 * [[Introduction to functional programming|topics/week1 kapulet intro]]
10 * [[Order: static versus dynamic|topics/week1 order]]
14 * [[Intro to the Lambda Calculus|topics/week2 lambda intro]]
16 * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
18 * Encoding data types in the Lambda Calculus
20 * [[Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
26 * [[Order in programming languages and natural language|topics/week1 order]]
27 This discussion considers conjunction in a language that recognized presupposition failure.
28 * [[Introduction to functional programming|topics/week1 kapulet intro]]
29 Basics of functional programming: `let`, `case`, pattern matching, and
30 recursion. Definitions of factorial.
31 * [[Advanced notes on functional programming|topics/week1 kapulet advanced]]
32 * [[Homework for week 1|exercises/assignment1]]
36 * [[Introduction to the Lambda Calculus|topics/week2 lambda intro]]
37 * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
38 * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
39 * [[Homework for week 2|exercises/assignment2]]
44 Introduces list comprehensions, shows how to encode `tail` in the Lambda Calculus
50 *More coming, please wait...*