0.2.7 lambda/index.md add Eugenia Cheng quote

orcmid · Jul 16, 2024 · 2fe8e9b · 2fe8e9b
1 parent f98124b
commit 2fe8e9b
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/docs/lambda/index.md b/docs/lambda/index.md
@@ -1,4 +1,4 @@
-<!-- index.md 0.2.6 UTF-8 2024-07-16
+<!-- index.md 0.2.7 UTF-8 2024-07-16
  ----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.2.6 2024-07-16T16:09Z<!-- MAINTAIN THIS MANUALLY -->
+  0.2.7 2024-07-16T19:07Z<!-- MAINTAIN THIS MANUALLY -->
   </small></small>
   </td>
  </tr>
@@ -43,6 +43,9 @@
 | "A high-level computer language _abstracts away the machine_ \[so that\] the programmer need not be an expert in the machinations of computer hardware ... in order to successfully program a computer. High-level languages (HLLs) automate, hide, or otherwise abstract away the underlying operations of the machine ... ." |
 | -- Mark Jones Lorenzo \[[Lorenzo2019](https://orcmid.github.io/bib/progsys.htm#Lorenzo2019): Introduction, p.13\] |
 | |
+| "Abstraction is about digging deep into a situation to find out what is at its core making it tick. Another way to think of it is about stripping away irrelevant details, or rather, stripping away details that are irrelevant to what we're thinking about." |
+| -- Eugenia Cheng, _The Joy of Abstraction_ \[[Cheng2023](https://orcmid.github.io/bib/math.htm#Cheng2023): 2.3 Forgetting Details\] |
+| |
 | "We call the symbol λx an _abstraction operator_, and speak of the function which is denoted by (λx _M_) as obtained from the expression _M_ by _abstraction_." |
 | -- [Alonzo Church](https://en.wikipedia.org/wiki/Alonzo_Church) \[[Church1941](https://orcmid.github.io/bib/logic.htm#Church1941): p.7\] |
 
@@ -97,6 +100,7 @@ from time to time.
 </table>
 <!--
 
+ 0.2.7 2024-07-16T17:07Z Add quote from Eugenia Cheng, Joy of Abstracktion
  0.2.6 2024-07-16T16:09Z Add link to Church Wikipedia article
  0.2.5 2024-07-15T00:53Z Fix italic M in Church quotation
  0.2.4 2024-07-14T19:49Z Add Church1941 quotation