-
Notifications
You must be signed in to change notification settings - Fork 2
/
oMiser.txt
113 lines (84 loc) · 4.94 KB
/
oMiser.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
oMiser.txt 0.0.23 UTF-8 2024-01-27
*---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
The Miser Project Code
======================
<https://github.com/orcmid/miser/blob/master/oMiser/oMiser.txt>
OMISER CONCEPTION, DEFINITION, AND IMPLEMENTATION
-------------------------------------------------
MAUSOLEUM
=========
This material has been refactored to Orcmid Github miser/docs/, with
distribution among ob/, obap/, and obrep/ as specified below.
For the latest summary of The Miser Project on GitHub, go to
<https://orcmid.github.io/miser> for that and further web pages
on Miser.
MANIFEST
oMiser.txt tombstone (this file)
TODOs and other narrative are being repurposed as part of refactoring.
Repurposing at <https://orcmid.github.io/miser/oMiser/oMiser.txt> may
involve further refactoring for web topics.
ob.txt (tombstone)
summary of the ‹ob› structure and its computational manifestations;
migrated to <https://orcmid.github.io/miser/oFrugal/sketch.txt>
obtheory.txt (tombstone)
specification of the ‹ob› abstract mathematical structure
any computationally-implemented manifestation must satisfy;
migrated to <https://orcmid.github.io/miser/ob/obtheory.txt>
boole.txt (tombstone)
Using abstract Boolean Algebra, demonstrating interpretations
of additional abstractions in each other and in ‹ob›, arriving
at idiomatic cases for computational-interpretation in oMiser.
Migrated to <https://orcmid.github.io/miser/obreps/boole.txt>.
Z2adic.txt (tombstone)
using the bvx Boolean Vector form, represent integer arithmetic
with 2's complement binary numerals; migrated to
<https://orcmid.github.io/miser/obreps/Z2adic.txt>
obaptheory.txt (tombstone)
specification of the ‹ob› universal function that every oMiser
implementation manifests; migrated to
<https://orcmid.github.io/miser/obap/obaptheory.txt>.
conbinators.txt (tombstone)
description of the nature of combinators and how they are represented
in oMiser scripts for applicative interpretation; refactored to
<https://orcmid.github.io/miser/obreps/combinators.txt>.
ob-exp.txt (tombstone)
tombstone for specification of the grammar for oFrugal expressions
that determine obs by computations using obs as procedure scripts and
as data. This material is now at
<https://orcmid.github.io/miser/oFrugal/ob-exp.txt>.
CFob.txt (tombstone)
description of the grammar for Canonical Obs and a procedure for
expressing them in strings, migrated to
<https://orcmid.github.io/miser/ob/CFob.txt>.
mockups/ (crypt)
subtree for experimental mock-ups that demonstrate oMiser features now
refactored to <https://orcmid.github.io/miser/dev/mockups>.
*---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
Copyright 2018-2024 Dennis E. Hamilton
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
*---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
ATTRIBUTION
Hamilton, Dennis E. oMiser Conception, Definition, and Implementation.
Miser Project text file oMiser.txt version 0.0.23 dated 2024-01-27,
tombstone file available on the Internet as a version of
<https://github.com/orcmid/miser/blob/master/oMiser/oMiser.txt>
*---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
0.0.23 2024-01-27T19:17Z Adjust to current refactored locations
0.0.22 2024-01-14T22:09Z Correct the URLs for the refactored content
0.0.21 2023-11-10T21:36Z Completion of refactoring away from oMiser folder.
0.0.20 2023-11-10T20:46Z All refactored away except for ob-exp.txt
0.0.19 2023-11-10T04:54Z Reflect refactoring of mockups/, leaving a crypt
0.0.18 2023-11-09T23:14Z Reflect more refactoring from folder oMiser/
0.0.17 2023-11-05T21:44Z Reduce to zombie state for this file.
0.0.16 2023-11-01T18:22Z Introduce Refactoring of oMiser/ with docs, other
folder structures. Earlier history has moved to docs/oMiser.txt or
whatever destination is used for preservation purposes.
*** end of oMiser.txt ***