typos
[lambda.git] / topics / _week5_system_F.mdwn
index 3f533ab..f0134f9 100644 (file)
@@ -11,8 +11,8 @@ Expression    Type     Implication
 ----------------------------------
 fn            α -> β   α ⊃ β
 arg           α        α
 ----------------------------------
 fn            α -> β   α ⊃ β
 arg           α        α
-------        ------         --------
-fn 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.