obap: Construction Diary & Job Jar
c000000>
2024-04-29 -12:12 -0700
|
|
obap: Construction Diary & Job Jar |
|
Status |
Date |
Description |
|
| done | 2024-01-08 |
|
|
| 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-04-29 | Develop sigma.x and flavors of lambda.x and rec.x that rely on it. | ||
| 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-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 |