From: Chris <chris.barker@nyu.edu>
Date: Mon, 23 Feb 2015 19:16:04 +0000 (-0500)
Subject: adjustments
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=25203ef5960e2eedad25ffaac5db3d86ba5b31b1

adjustments
---

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 72488153..3f533abd 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -10,9 +10,9 @@ ponens:
 Expression    Type     Implication
 ----------------------------------
 fn            &alpha; -> &beta;   &alpha; &sup; &beta;
-arg           &alpha;             &alpha;
-------        ------              --------
-fn arg        &beta;              &beta;
+arg           &alpha;        &alpha;
+------        ------         --------
+fn arg        &beta;         &beta;
 </pre>
 
 The implication in the right-hand column is modus ponens, of course.