From c09bd7005b179db8ab4c09c4c60be32d1a1c8881 Mon Sep 17 00:00:00 2001
From: chris <chris@web>
Date: Wed, 25 Feb 2015 20:59:24 -0500
Subject: [PATCH 1/1]

---
 topics/_week5_system_F.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.11.0