Questions on λ fidelity of ^lambda in the obap situation.

orcmid · Feb 5, 2024 · db75a50 · db75a50
1 parent 34b828d
commit db75a50
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/docs/lambda/c000000.htm b/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:34 -0800<!--webbot bot="Timestamp" i-checksum="12024" endspan -->
+      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 -->
       </small></small></p>
       </td>
 
@@ -166,9 +166,13 @@
     <tr>
       <td width="11%" align="center" valign="top">&nbsp;</td>
       <td width="11%" align="center" valign="top">
-   &nbsp;</td>
+   <font size="2">2024-02-05</font></td>
       <td width="78%" align="left" valign="top">
-        &nbsp;</td>
+        <font size="2">We will need to test that ^lambda does work as λ</font><font SIZE="4">
+		</font><font size="2">when given applicative forms of combinators.&nbsp; 
+		It will be important to see how close we can get to the hand-built 
+		combinator interpretations in <a href="../obreps/combinators.txt">
+		combinators.txt</a></font></td>
     </tr>
 
     <tr>