From 3ae5ce57fb036f60117be78406a230e5cd85ed8d Mon Sep 17 00:00:00 2001 From: "Dennis E. Hamilton" Date: Thu, 16 Jan 2025 14:00:52 -0800 Subject: [PATCH] Update obap/c000000.htm work items --- docs/obap/c000000.htm | 66 +++++++++++++++++++++++++++---------------- 1 file changed, 41 insertions(+), 25 deletions(-) diff --git a/docs/obap/c000000.htm b/docs/obap/c000000.htm index 50310d7..40b2279 100644 --- a/docs/obap/c000000.htm +++ b/docs/obap/c000000.htm @@ -46,7 +46,7 @@ c000000>
2024-10-27 -09:43 -0700 + S-Format="%Y-%m-%d" startspan -->2025-01-16 -13:56 -0800

@@ -153,17 +153,6 @@ need to be dated and marked done here. - - in progress
- 2024-10-27 - - 2024-09-14 - - I want to move away from lindy traces to lindy symbolic - forms.  I need a better explanation and it shows up at - miser/lambda.  I need to clear this up for obaptheory.txt. - -   @@ -174,14 +163,19 @@ -   + in progress
+ 2025-01-16 2024-04-29 Develop a replacef(s, t) M that replaces s with t everywhere in M.  Define first using sigma.s and then compose sigma.s away.  Determine the most useful (s,t) operand order when - composing sigma.s away. + composing sigma.s away.  [dh:2025-01-16 This is now + δ(s, + N) + and optimization by elimination of sigma is not + considered just yet.] @@ -207,20 +201,14 @@ -   + in progress
+ 2025-01-16 2024-01-08 - Determine what TODOs to bring here - - - -   - - 2024-01-08 - - We will need obapx/ at some point [dh:2024-01-24 Could - use prefix "x".] + Determine what TODOs to bring here [dh:2025-01-16 I think + there are ones on obaptheory.txt that don't belong there so much but + would work better here.] @@ -234,6 +222,34 @@ what? + + + done
+ 2025-01-16 + + + 2024-09-14 + + + I want to move away from lindy traces to lindy symbolic + forms.  I need a better explanation and it shows up at + miser/lambda.  I need to clear this up for obaptheory.txt. + + + + done
+ 2025-01-16 + + + 2024-01-08 + + + We will need obapx/ at some point [dh:2024-01-24 Could + use prefix "x".][dh:2025-01-16 This was already done in creation of + topics under miser/docs/.  This note is more about the content, but + that still belongs over there.] + + done