X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=99686d4a5e20f33bb85e3ce46585a7f9afa9efc7;hp=52945505795cdeb92abb34334f8c508f08ef38ae;hb=8b4fc32ec904cba61e9fd304c971f9e5dc465d88;hpb=07ebc9292a8db8b98707232d2d01717293f473e9 diff --git a/content.mdwn b/content.mdwn index 52945505..99686d4a 100644 --- a/content.mdwn +++ b/content.mdwn @@ -5,6 +5,8 @@ week in which they were introduced. ## Topics by content ## +* [[What is computation?|topics/week3_what_is_computation]] + * Functional Programming * [[Introduction|topics/week1 kapulet intro]] @@ -31,7 +33,7 @@ week in which they were introduced. * Reduction Strategies and Normal Forms -* Combinatorial Logic +* [[Combinatory Logic|topics/week3 combinatory logic]] ## Topics by week ## @@ -53,11 +55,12 @@ Week 2: * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]] * [[Homework for week 2|exercises/assignment2]] -Week 3: +Week 3:But even deci +* [[What is computation?|topics/week3_what_is_computation]] * More on Lists Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus -* Combinatorial Logic +* [[Combinatory Logic|topics/week3 combinatory logic]] * Reduction Strategies and Normal Forms * Homework for week 3