The Miser Project |
miser>
ob>
index>
0.0.6 2024-06-12T16:57Z |
The elaboration of the fundamental structure,‹ob› = 〈Ob,Of,Ot〉, is provided here. Essential characteristics of obs and reasoning (in Ot) about functions (thereby in Of) on obs are explained and expanded upon.
There is also introduction of uninterpreted symbols, the literal individuals (lindies) that have no intrinsic significance. Lindies are valuable in devising data representations and in oFrugal expression of obap applicative-operation scripts.
Current activity involves migration of text files from other areas of the repository to the web-based public face of the repository. While migration is underway, there are placeholder links to raw materials and notes, including text files.
Authoritative material is maintained in text files that can be downloaded and consulted independent of the GitHub repository and availability on the Internet via web pages. There will be improved organization and web materials as development proceeds.
There are also text notes on topics that are being researched prior to resolution and documentation in web materials.
ID | Status | Started | Topic |
---|---|---|---|
obtheory | 1.3.0 2024-01-15 | 2017-08-24 | ‹ob› = 〈Ob,Of,Ot〉Mathematical Structure |
CFob | 0.1.0 2023-11-10 | 2018-02-04 | Canonical Form of obs |
Uchar | 0.0.1 2024-04-10 | 2024-02-10 | Universal Character Names for Identifiers |
Diary & Job Jar | undated | 2023-11-12 | Notes until there is better narrative material |
A 2018-2019 series of blog posts provides original narratives on the ‹ob› = 〈Ob,Of,Ot〉structure. These will be supplanted under this Miser Project topic over time.
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-13 by orcmid |