From: Chris <chris.barker@nyu.edu>
Date: Mon, 23 Feb 2015 21:43:07 +0000 (-0500)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=815520c4c0adc3759fa8dd267ad82f79ed4ab89f;hp=cd52b6efa26b90210609bc266ade1fea3953b6ce

edits
---

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 559135e0..fe451a0b 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -90,7 +90,7 @@ instantiated as a function from expresions of type `'a` to expressions
 of type `'a`.  In general, then, the type of the unapplied
 (polymorphic) identity function is
 
-<code>(&Lambda; 'a (&lambda; x:'a . x)): (&forall; 'a . 'a -> 'a)
+<code>(&Lambda; 'a (&lambda; x:'a . x)): (&forall; 'a . 'a -> 'a)</code>
 
 Pred in System F
 ----------------