From: jim <jim@web>
Date: Sat, 14 Feb 2015 22:47:10 +0000 (-0500)
Subject: reorder
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e51d4e8f1aaeaeba9d2527f7469582adba886a02;ds=sidebyside

reorder
---

diff --git a/content.mdwn b/content.mdwn
index 0a6fa2de..ab681318 100644
--- a/content.mdwn
+++ b/content.mdwn
@@ -65,11 +65,10 @@ Week 3:
 *We will continue to develop these notes over the next few days. Expect some of the notes already posted to be expanded, and more notes to appear.*
 
 *   [[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
-*   [[What is computation?|topics/week3_what_is_computation]]
 *   [[More on Lists|topics/week3 lists]]
 Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus (and will discuss some other list encodings)
-*   [[Combinatory Logic|topics/week3 combinatory logic]]
+*   [[What is computation?|topics/week3_what_is_computation]]
 *   Reduction Strategies and Normal Forms
 *   Usefulness of `()`
+*   [[Combinatory Logic|topics/week3 combinatory logic]]
 *   [[Homework for week 3|exercises/assignment3]]
-