X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2F_week5_system_F.mdwn;h=f0134f925bc25e93e523cff4c69f16d503d01e18;hb=8950982eae04ec4ca70862e23122256b526b591b;hp=7248815340f72bdec10e9d39f9e94b90ae7bc90e;hpb=57f69d438433032f3c302607a91a20a45617c686;p=lambda.git

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 72488153..f0134f92 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -10,9 +10,9 @@ ponens:
 Expression    Type     Implication
 ----------------------------------
 fn            α -> β   α ⊃ β
-arg           α             α
-------        ------              --------
-fn arg        β              β
+arg           α        α
+------        ------    --------
+fn arg        β        β
 </pre>
 
 The implication in the right-hand column is modus ponens, of course.