scare quotes around 'pure' for untyped lambda

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 4650581..ab4a533 100644 (file)
--- 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 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
 *      combinatorial logic
 *      the simply-typed lambda calculus
 *      polymorphic types with System F