miser
|
The Miser Project |
miser>
obap>
index>
0.0.2 2024-01-24T16:42Z |
Initial Placeholder
The elaboration of a universal computational function on ‹ob› = 〈Ob,Of,Ot〉 is provided here. The essential characteristics of obs and reasoning (in Ot) about functions (thereby in Of) on obs is explained and expanded upon here.
Catalog (Specimen, apYYMMNN Content TBD)
This placeholder links to raw materials and notes, including text files. There will be organized folios of content as consolidation of documentation on the web progresses. The file obaptheory will remain the authoritative definition.
| ID | Status | Started | Topic |
|---|---|---|---|
| obaptheory | 1.2.3 2023-12-18 | 2017-09-11 | ‹ob› Universal Applicative Functions |
| Diary & Job Jar | undated | 2024-01-08 | Notes until there is better narrative material |
I invite discussion about Miser Project topics in the Discussion section. Improvements and removal of defects in this particular documentation can be reported and addressed in the Issues section. There are also relevant projects from time to time.
|
You are navigating the Miser Project on Github |
created 2024-01-14 by orcmid |