X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=70a153777244f14badb5653436089dd02905c3e5;hp=0122ed9bcc774f3252284ee649498aae6e353fe6;hb=7c7f1b223ffb0877eba434dc07cb7c19a36ecbb5;hpb=08ddabea126b05d49bd952365760d322bcae0304

diff --git a/week1.mdwn b/week1.mdwn
index 0122ed9b..70a15377 100644
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -101,24 +101,24 @@ Map
 
 <table>
 <tr>
-<td>Scheme (functional part)</td>
-<td>OCaml (functional part)</td>
-<td>C, Java, Pasval<br>
+<td width=30%>Scheme (functional part)</td>
+<td width=30%>OCaml (functional part)</td>
+<td width=30%>C, Java, Pasval<br>
 Scheme (imperative part)<br>
 OCaml (imperative part)</td>
 <tr>
-<td>lambda calculus<br>
+<td width=30%>lambda calculus<br>
 combinatorial logic</td>
 <tr>
-<td colspan=3>--------- Turing complete ---------</td>
+<td colspan=3 align=center>------------------------ Turing complete ---------------------</td>
 <tr>
-<td>&nbsp;
-<td>more advanced type systems, such as polymorphic types
-<td>&nbsp;
+<td width=30%>&nbsp;
+<td width=30%>more advanced type systems, such as polymorphic types
+<td width=30%>&nbsp;
 <tr>
-<td>&nbsp;
-<td>simply-typed lambda calculus (what linguists mostly use)
-<td>&nbsp;
+<td width=30%>&nbsp;
+<td width=30%>simply-typed lambda calculus (what linguists mostly use)
+<td width=30%>&nbsp;
 </table>