## Topics by content ##
-* [[Introduction to functional programming|topics/week1_kapulet_intro]]
+* [[Introduction to functional programming|topics/week1 kapulet intro]]
* [[Order: static versus dynamic|topics/week1 order]]
* [[Order in programming languages and natural language|topics/week1 order]]
This discussion considers conjunction in a language that recognized presupposition failure.
-* [[Introduction to functional programming|topics/week1_kapulet_intro]]
+* [[Introduction to functional programming|topics/week1 kapulet intro]]
Basics of functional programming: `let`, `case`, pattern matching, and
recursion. Definitions of factorial.
-* [[Advanced notes|topics/week1_kapulet_advanced]]
+* [[Advanced notes|topics/week1 kapulet advanced]]
* [[Homework for week 1|exercises/assignment1]]
Week 2:
-* [[Intro to the Lambda Calculus|topics/week2_lambda_intro]]
-* [[Advanced notes on the Lambda Calculus|topics/week2_lambda_advanced]]
+* [[Intro to the Lambda Calculus|topics/week2 lambda intro]]
+* [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
* Encoding Booleans, Tuples, Lists, and Numbers (in progress)
* Homework for week 2 (in progress)
> Topics:
[[Order in programming languages and natural language|topics/week1 order]];
-[[Introduction to functional programming|topics/week1_kapulet_intro]];
+[[Introduction to functional programming|topics/week1 kapulet intro]];
[[Homework|exercises/assignment1]];
-[[Advanced notes|topics/week1_kapulet_advanced]]
+[[Advanced notes|topics/week1 kapulet advanced]]
(**Intermezzo**)
> Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]];
The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta1]];
[[What do words like "interpreter" and "compiler" mean?|ecosystem]] (in progress)
-(**[[Lambda Evaluator|code/lambda_evaluator]]**) Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly.
+(**[[Lambda Evaluator|code/lambda evaluator]]**) Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly.
<!--
- There is also now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+ There is also now a [library](/lambda library) of lambda-calculus arithmetical and list operations, some relatively advanced.
-->
(**Week 2**) Thursday 5 February 2015