remove header
[lambda.git] / _what_is_functional.mdwn
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>
-combinatorial logic</td>
+combinatory logic</td>
 <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>
-combinatorial logic</td>
+combinatory logic</td>
 <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"))
-       
+
        (begin (print "water") (print "under"))
 
 And so too these: