From 0db15232ff7d1ad165d72af5204fc21c20e054c0 Mon Sep 17 00:00:00 2001 From: Jim Date: Fri, 30 Jan 2015 19:43:09 -0500 Subject: [PATCH] scare quotes around 'pure' for untyped lambda --- More_about_the_topics_and_larger_themes_of_the_course.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.11.0