week2 reorg some alpha-equiv stuff

[lambda.git] / notes_and_schedule.mdwn

diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn
index 9e48182..75f1e1a 100644 (file)
--- a/notes_and_schedule.mdwn
+++ b/notes_and_schedule.mdwn
@@ -2,7 +2,7 @@
 
 [[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