X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=More_about_the_topics_and_larger_themes_of_the_course.mdwn;h=ab4a53381e7b35c9670ed473accf273cfac64b71;hp=46505815b238eda754774cd91d1c8e60a8776182;hb=0db15232ff7d1ad165d72af5204fc21c20e054c0;hpb=fa757b935541b00dbe0542cbe96e3021e9c30337

diff --git a/More_about_the_topics_and_larger_themes_of_the_course.mdwn b/More_about_the_topics_and_larger_themes_of_the_course.mdwn
index 46505815..ab4a5338 100644
--- a/More_about_the_topics_and_larger_themes_of_the_course.mdwn
+++ b/More_about_the_topics_and_larger_themes_of_the_course.mdwn
@@ -10,7 +10,7 @@ discussing this in much more detail as the course proceeds.
 
 The logical systems we'll be looking at include:
 
-*	the pure/untyped lambda calculus
+*	the "pure"/untyped lambda calculus
 *	combinatorial logic
 *	the simply-typed lambda calculus
 *	polymorphic types with System F