From b78913233fb5db8dc92cf8359d823c518a257a84 Mon Sep 17 00:00:00 2001 From: Chris Date: Mon, 23 Feb 2015 14:16:36 -0500 Subject: [PATCH] adjustments --- topics/_week5_system_F.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 β β The implication in the right-hand column is modus ponens, of course. -- 2.11.0