Signed-off-by: Jim Pryor <profjim@jimpryor.net>
<td width=30%>lambda calculus<br>
combinatorial logic</td>
<tr>
<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 width=30%>
<td width=30%>more advanced type systems, such as polymorphic types
<tr>
<td width=30%>
<td width=30%>more advanced type systems, such as polymorphic types