X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=notes_and_schedule.mdwn;h=75f1e1aafd6acbb8c4106bf28288f4ed4e72217d;hp=9e481824be4ff6e98b59f28cc8d47e4cd090dc78;hb=4de03f98830a8404cfdcf256c719661d5ab85787;hpb=372cdc29f663944404da58a287e6588d1dec066d

diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn
index 9e481824..75f1e1aa 100644
--- 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