0.2.0 lambda/index.md initiate abstraction text (experimental)

orcmid · Jul 12, 2024 · e97d019 · e97d019
1 parent e8f4dbc
commit e97d019
Showing 1 changed file with 16 additions and 4 deletions.
diff --git a/docs/lambda/index.md b/docs/lambda/index.md
@@ -1,4 +1,4 @@
-<!-- index.md 0.1.0                 UTF-8                         2024-07-01
+<!-- index.md 0.2.0                 UTF-8                         2024-07-11
      ----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/>
@@ -11,7 +11,7 @@
     </td>
        <td width="48%" height="6"><p align="center"><font color="#990033"><strong>
 	<i>The Miser Project</i><br />
-    <i><big><big>λ Applicative Function Abstraction</big></big></i></strong></font></p>
+    <i><big><big>λ Applicative-Procedure Abstraction</big></big></i></strong></font></p>
     </td>
     <td width="27%" height="6" valign="middle" align="right">
       <b><code>
@@ -27,13 +27,24 @@
          <a href="index.html" target="_top">index</a>&gt;</code></b>
       <br />
       <small><small>
-        0.1.0 2024-07-01T20:08Z<!-- MAINTAIN THIS MANUALLY -->
+        0.2.0 2024-07-12T16:54Z<!-- MAINTAIN THIS MANUALLY -->
       </small></small>
       </td>
   </tr>
 </table>
 
-## Initial Placeholder
+## The Abstraction Idea
+
+> "This process \[of extracting common features\] can be regarded as a
+> repeated abstraction ... and under certain circumstances such abstracting
+> processes can be repeatedly piled on top of one another.  Here '_abstract_'
+> has to be understood in the literal meaning of the word as 'removing', as
+> leaving aside everything inessential for the context in question or for a
+> particular purpose ... ."
+<div align="right">[Hans Reichardt](https://mathshistory.st-andrews.ac.uk/Biographies/Reichardt/)
+\[[VNR1977](https://orcmid.github.io/bib/authors.htm#VNR1977): Introduction,
+p.11\]</div>
+
 
 The abstraction of functions from oMiser applicative procedures is developed
 as an oMiser applicative procedure itself.  oMiser is sufficiently low-level,
@@ -85,6 +96,7 @@ from time to time.
 </table>
 <!--
 
+  0.2.0  2024-07-12T16:54Z Begin draft text
   0.1.0  2024-07-01T20:08Z oSigma and oLambda introduction
   0.0.0  2024-01-25T17:26Z Placeholder from 0.0.2 obap/index.md boilerplate