(no commit message)

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 1e3edbc..4afb43b 100644 (file)
--- 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