Add note on Curry-Howard and Cartesian Closed Categories

docs/lambda/c000000.htm

@@ -47,7 +47,7 @@
 		<a target="_top" href="c000000.htm">c000000</a>&gt;</code></b><br>
       <small><small>
 		<!--webbot bot="Timestamp" S-Type="EDITED"
-      S-Format="%Y-%m-%d" startspan -->2024-02-05<!--webbot bot="Timestamp" i-checksum="12132" endspan --> -<!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%H:%M %Z" startspan -->08:41 -0800<!--webbot bot="Timestamp" i-checksum="11984" endspan -->
+      S-Format="%Y-%m-%d" startspan -->2024-08-12<!--webbot bot="Timestamp" i-checksum="12511" endspan --> -<!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%H:%M %Z" startspan -->12:54 -0700<!--webbot bot="Timestamp" i-checksum="12028" endspan -->
       </small></small></p>
       </td>
 
@@ -158,9 +158,15 @@
     <tr>
       <td width="11%" align="center" valign="top">&nbsp;</td>
       <td width="11%" align="center" valign="top">
-   &nbsp;</td>
+   <font size="2">2024-08-12</font></td>
       <td width="78%" align="left" valign="top">
-        &nbsp;</td>
+        <font size="2">I need to understand about the
+		<a href="https://en.wikipedia.org/wiki/Curry–Howard_correspondence">
+		Curry-Howard correspondence</a> and
+		<a href="https://en.wikipedia.org/wiki/Cartesian_closed_category">
+		Cartesian Closed Category</a> as it shows up
+		<a href="https://en.wikipedia.org/wiki/Curry–Howard_correspondence#Curry–Howard–Lambek_correspondence">
+		there</a>.&nbsp; I then need to reconcile that with [<a href="https://orcmid.github.io/bib/logic.htm#Feferman1977">Feferman1977</a>].</font></td>
     </tr>
 
     <tr>