From: chris <chris@web>
Date: Thu, 26 Feb 2015 01:59:24 +0000 (-0500)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c09bd7005b179db8ab4c09c4c60be32d1a1c8881

---

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 1e3edbcb..4afb43ba 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -70,7 +70,7 @@ variables in its body, except that unlike <code>&lambda;</code>,
 <code>&Lambda;</code> binds type variables instead of expression
 variables.  So in the expression
 
-<code>&Lambda; 'a (&lambda; x:'a . x)</code>
+<code>&Lambda; α (&lambda; x:α . x)</code>
 
 the <code>&Lambda;</code> binds the type variable `'a` that occurs in
 the <code>&lambda;</code> abstract.  Of course, as long as type