0.3.5 lambda/index.md Enough fussing with Symbolic Form for now

orcmid · Dec 21, 2024 · c52dd21 · c52dd21
1 parent 2e318c8
commit c52dd21
Showing 1 changed file with 15 additions and 5 deletions.
diff --git a/docs/lambda/index.md b/docs/lambda/index.md
@@ -1,4 +1,4 @@
-<!-- index.md 0.3.4                 UTF-8                         2024-12-18
+<!-- index.md 0.3.5                 UTF-8                         2024-12-21
      ----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
      source <https://github.com/orcmid/miser/blob/master/docs/lambda/index.md>
      publication <https://orcmid.github.io/miser/lambda/>
@@ -27,7 +27,7 @@
          <a href="index.html" target="_top">index</a>&gt;</code></b>
       <br />
       <small><small>
-        0.3.4 2024-12-18T22:53Z<!-- MAINTAIN THIS MANUALLY -->
+        0.3.5 2024-12-21T17:51Z<!-- MAINTAIN THIS MANUALLY -->
       </small></small>
       </td>
   </tr>
@@ -88,11 +88,20 @@ constant list structures.  Intended interpretations for them are not
 self-evident, however suggestive the form might be.  Purpose for a symbolic
 form is revealed only in the context of its usage.
 
-When a symbolic form is evaluated or applied directly, the symbolic
-form is preserved.
+The harmony of symbolic form and applicative-expression, when that
+interpretation is the case, is anchored on the fact that the computational
+interpretation of `f :: g :: x` is tantamount to the Frugalese applicative
+expression `f g x`, both being right-associative and equivalent to `f(g x)`.
+
+The oFrugal definitions of applicative-procedure abstraction rely on that
+structural nicety, facilitating abstraction of applicative-function scripts
+and confirmation of their operation.
 
 #### 2.2.1 Examples of symbolic-form preservation
 
+When a symbolic form is evaluated or applied directly, the symbolic
+form is preserved.
+
 For example, the oFrugal expression
 
 ```ML
@@ -132,7 +141,7 @@ itself a symbolic form even though `x` may be an ob of any form.
 As is done in the examples (2.2.1), symbolic forms are usually written in
 canonical form, omitting unnecessary parentheses.
 
-## 3. Functional Abstraction
+## 3. Functional Abstraction Heuristics
 
 \[Author's Note\]: Brief introduction to the two forms.
 
@@ -176,6 +185,7 @@ from time to time.
 </table>
 <!--
 
+  0.3.5  2024-12-12T17:51Z Enough fussing with Symbolic Form for now
   0.3.4  2024-12-18T22:53Z Still struggling with Symbolic Form motivation
   0.3.3  2024-12-15T23:29Z Smooth 2.2 more
   0.3.2  2024-11-28T17:39Z Touch up 2.1 a bit more