index d6b9354..ff9be6a 100644 (file)
@@ -89,7 +89,7 @@ Scheme (imperative part)<br>
OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
-combinatorial logic</td>
+combinatory logic</td>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
@@ -191,7 +191,7 @@ Scheme (imperative part)<br>
OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
-combinatorial logic</td>
+combinatory logic</td>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
@@ -245,7 +245,7 @@ Or this:
In the presence of imperatival elements, sequencing order is very relevant. For example, these will behave differently:

(begin (print "under") (print "water"))
In the presence of imperatival elements, sequencing order is very relevant. For example, these will behave differently:

(begin (print "under") (print "water"))
-
+
(begin (print "water") (print "under"))

And so too these:
(begin (print "water") (print "under"))

And so too these: