adjustments
authorChris <chris.barker@nyu.edu>
Mon, 23 Feb 2015 19:16:36 +0000 (14:16 -0500)
committerChris <chris.barker@nyu.edu>
Mon, 23 Feb 2015 19:16:36 +0000 (14:16 -0500)
topics/_week5_system_F.mdwn

index 3f533ab..f0134f9 100644 (file)
@@ -11,8 +11,8 @@ Expression    Type     Implication
 ----------------------------------
 fn            &alpha; -> &beta;   &alpha; &sup; &beta;
 arg           &alpha;        &alpha;
 ----------------------------------
 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.
 </pre>
 
 The implication in the right-hand column is modus ponens, of course.