-
Notifications
You must be signed in to change notification settings - Fork 2
/
boole.txt
28 lines (18 loc) · 1.1 KB
/
boole.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
boole.txt 0.5.5 UTF-8 dh:2024-01-15
*---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
The Miser Project Code
======================
<https://github.com/orcmid/miser/blob/master/oMiser/boole.txt>
INTERPRETATION OF BOOLEAN ALGEBRAS IN THE ‹ob› MODEL OF COMPUTATION
-------------------------------------------------------------------
TOMBSTONE
*********
This material has been refactored to Orcmid Github miser/docs/obrep/ with
latest version accessible at
<httsp://orcmid.github.io/miser/obreps/boole.txt>.
*---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
0.5.5 2024-01-15T21:24Z Correct URL
0.5.4 2023-11-10T19:31Z Creation of tombstone as part of refactoring to docs/
0.0.0 2018-11-13-10:38 Placeholder and boiler plate for bridging between
Boolean Algebras and computational interpretations in ‹ob›.
*** end of boole.txt ***