X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week5_system_F.mdwn;h=f0134f925bc25e93e523cff4c69f16d503d01e18;hp=3f533abdd64d883a50f7eacbf89321b33bddd784;hb=a4d2693effe839524592f4427465ff8d97625302;hpb=25203ef5960e2eedad25ffaac5db3d86ba5b31b1

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            α -> β   α ⊃ β
 arg           α        α
-------        ------         --------
-fn arg        β         β
+------        ------    --------
+fn arg        β        β
 </pre>
 
 The implication in the right-hand column is modus ponens, of course.