From 90bbda19dc5771a44e8403128016c60335381e91 Mon Sep 17 00:00:00 2001 From: chris Date: Wed, 11 Feb 2015 22:04:28 -0500 Subject: [PATCH] --- content.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content.mdwn b/content.mdwn index 52945505..a054dfde 100644 --- a/content.mdwn +++ b/content.mdwn @@ -31,7 +31,7 @@ week in which they were introduced. * Reduction Strategies and Normal Forms -* Combinatorial Logic +* [[Combinatory Logic|topics/week3 combinatorial logic]] ## Topics by week ## @@ -57,7 +57,7 @@ Week 3: * More on Lists Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus -* Combinatorial Logic +* [[Combinatorial Logic|topics/week3 combinatory logic]] * Reduction Strategies and Normal Forms * Homework for week 3 -- 2.11.0