summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3c7a131)
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