From: Jim Date: Sat, 31 Jan 2015 00:43:09 +0000 (-0500) Subject: scare quotes around 'pure' for untyped lambda X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=0db15232ff7d1ad165d72af5204fc21c20e054c0 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 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