Typos in ob.txt - Githubissues

orcmid / miser

The Miser Project is practical demonstration of computation-theoretical aspects of software

https://orcmid.github.io/miser/

Apache License 2.0

3 stars 1 forks source link

Open orcmid opened 5 years ago

orcmid commented 5 years ago

Another typo in obtheory (Q: shall I just put all typos into this issue?):

Lines 33,34:

There are two selector functions, ob.a(z) and ob.b(z) that given any ob and determine an ob as their result.

"given any ob determine an ob ...." -- the "and" does not belong there.

band commented 5 years ago

obtheory typo, lines 107-111:

Ob5. Totality ob.is-individual(z) ∨ ob.is-enclosure(z) ∨ ob.is-pair(z)

    It is a consequence that each ob is exactly one of pair,

enclosure, and individual and there are no others.

Should this read "... one of pair, enclosure, or individual and ..."?

band commented 5 years ago

obtheory typo, line 139

In formats having greater typographical flexibility than plaintest, there

"plaintest" should be "plaintext"