week1: map tweaks

[lambda.git] / week1.mdwn

diff --git a/week1.mdwn b/week1.mdwn
index 0122ed9..e04cda2 100644 (file)
--- 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>