some refactoring, including exposition

[lambda.git] / _what_is_functional.mdwn

diff --git a/_what_is_functional.mdwn b/_what_is_functional.mdwn
index c17da57..ff9be6a 100644 (file)
--- a/_what_is_functional.mdwn
+++ b/_what_is_functional.mdwn
@@ -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>