kept developing week3
[lambda.git] / notes_and_schedule.mdwn
index 9e48182..75f1e1a 100644 (file)
@@ -2,7 +2,7 @@
 
 [[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages
 
 
 [[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages
 
-Week2 (20 Sept) Reduction and Convetibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
+Week2 (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
 
 Week3 (27 Sept) Recursion with Fixed Point Combinators
 
 
 Week3 (27 Sept) Recursion with Fixed Point Combinators