typos

[lambda.git] / topics / _week5_system_F.mdwn

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 7248815..f0134f9 100644 (file)
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -10,9 +10,9 @@ ponens:
 Expression    Type     Implication
 ----------------------------------
 fn            α -> β   α ⊃ β
 Expression    Type     Implication
 ----------------------------------
 fn            α -> β   α ⊃ β

-arg           α             α
-------        ------              --------
-fn arg        β              β
+arg           α        α
+------        ------    --------
+fn arg        β        β

 </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.