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

adjustments
---

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