X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=e04cda2305e546ae7f31378dcb29ca657bcb8e82;hp=0122ed9bcc774f3252284ee649498aae6e353fe6;hb=973fd7a772454a467ed343bb1a6ea0ea171289c5;hpb=08ddabea126b05d49bd952365760d322bcae0304;ds=sidebyside

diff --git a/week1.mdwn b/week1.mdwn
index 0122ed9b..e04cda23 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>