tweak links

diff --git a/content.mdwn b/content.mdwn
index 75e3f92..ee3065b 100644 (file)
--- a/content.mdwn
+++ b/content.mdwn
@@ -5,7 +5,7 @@ week in which they were introduced.
 
 ## Topics by content ##
 
 
 ## 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: static versus dynamic|topics/week1 order]]
 


@@ -15,16 +15,16 @@ Week 1:
 
 * [[Order in programming languages and natural language|topics/week1 order]]
 This discussion considers conjunction in a language that recognized presupposition failure.
 
 * [[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.
 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:
 
 * [[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)
 
 * Encoding Booleans, Tuples, Lists, and Numbers (in progress)
 * Homework for week 2 (in progress)
 

diff --git a/index.mdwn b/index.mdwn
index a2ff556..7c6c247 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -75,18 +75,18 @@ what you think you need in order to solve the problem.
 
 > Topics:
 [[Order in programming languages and natural language|topics/week1 order]];
 
 > 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]];
 [[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)
 
 
 (**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
 -->
 
 (**Week 2**) Thursday 5 February 2015