From: Chris <chris.barker@nyu.edu>
Date: Mon, 16 Mar 2015 16:00:24 +0000 (-0400)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7803c02633a9ff916c86b17f868161317be27bcc

edits
---

diff --git a/topics/_week7_monads.mdwn b/topics/_week7_monads.mdwn
index 50b2cb89..fc6b4153 100644
--- a/topics/_week7_monads.mdwn
+++ b/topics/_week7_monads.mdwn
@@ -48,5 +48,5 @@ We'll often write box types as a box containing the value of the free
 type variable.  So if our box type is `α List`, and `α == Int`, we
 would write
 
-<table border>Int</table>
+<table border=2px>Int</table>