obap: Construction Diary & Job Jar
c000000>
2024-10-27 -09:43 -0700
|
|
obap: Construction Diary & Job Jar |
|
Status |
Date |
Description |
|
| done | 2024-01-08 |
|
|
| in progress | 2024-10-27 | As part of redefining from pure-lindy to symbolic-form, I need to look at proving that I can short-circuit application of symbolic-form obs in ev, bypassing the need to run everything down to ap and back up because there will be no difference. This needs to be supported with a proof. Consider whether this is only needed as an accelerator in the implementation, because we can tag obs as symbolic forms or not. That will be exciting. | |
| 2024-09-14 | Some of the items below have been handled. They 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. | |
| 2024-04-29 | Consider an alternative to sigma.x F for determining whether x occurs in F. The comparative performance will be useful. | ||
| 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. | ||
| 2024-01-14 | obaptheory: The distinctness of primitives by their spelling, and their distinctness from lindies needs to be asserted. There might need to be something like that in obtheory.txt in the first place. | ||
| 2024-01-08 | Develop a folio substructure? Maybe ap prefix? Probably need an ob prefix, and that would make sense around here, though two-character prefixes on the accession codes is a new practice. I guess 8.3 filenames are gone forever :). | ||
| 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".] | ||
| 2024-01-08 | The cover should provide a sketch of the essential ideas: The idea of universality, the notion of Of conception being larger than the computable applicative functions, and the question of universal for what? | ||
|
done 2024-06-24 |
2024-04-29 | Develop sigma.x and flavors of lambda.x and rec.x that rely on it. | |
| done | 2024-04-29 | casep.txt Inclusion as an example of translation to oFrugal and use of ^sigma.x in the absence of ^lambda.x and ^rec.f | |
| done | 2024-01-24 | Make repairs noticed when cloning this as boilerplate for oMiser/ | |
|
done 2024-01-14 |
2024-01-08 | Provide a hybrid stub page for obap/ | |
| done | 2024-01-08 | Introduce a clean construction zone | |
 |
You are navigating
construction material of the Miser Project |
created 2024-01-08T19:12Z by orcmid |