diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-21 06:24:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-21 06:24:51 +0000 |
| commit | f8abfeb8a2bf77186f65f06107ed86c5e7c41206 (patch) | |
| tree | 2337c2b19eee83838c5f5bf522caa5289ccc8eab /src | |
| parent | 70462ce64473329cbb0108e4bde18bb797196f99 (diff) | |
| download | open-axiom-f8abfeb8a2bf77186f65f06107ed86c5e7c41206.tar.gz | |
Misc cleanup.
Diffstat (limited to 'src')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 9 | ||||
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 1 | ||||
| -rw-r--r-- | src/interp/g-util.boot | 1 |
3 files changed, 8 insertions, 3 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 735c7fcf..d685c2cf 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -511,12 +511,15 @@ Bits(): Exports == Implementation where ++ This domain implements Kleene's 3-valued propositional logic. KleeneTrivalentLogic(): Public == Private where Public == PropositionalLogic with - false: % - unknown: % - true: % + false: % ++ the definite falsehood value + unknown: % ++ the indefinite `unknown' + true: % ++ the definite truth value _case: (%,[| false |]) -> Boolean + ++ x case false holds if the value of `x' is `false' _case: (%,[| unknown |]) -> Boolean + ++ x case unknown holds if the value of `x' is `unknown' _case: (%,[| true |]) -> Boolean + ++ s case true holds if the value of `x' is `true'. Private == add Rep == Byte -- We need only 3 bits, in fact. false == per(0::NonNegativeInteger::Byte) diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 7f082895..fe76c79f 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -64,6 +64,7 @@ (|AssociatedJordanAlgebra| . JORDAN) (|AssociatedLieAlgebra| . LIE) (|AttachPredicates| . PMPRED) + (|AttributeAst| . ATTRAST) (|BalancedBinaryTree| . BBTREE) (|BasicOperator| . BOP) (|BasicOperatorFunctions1| . BOP1) diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index c732d9b4..13d2e36f 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -119,6 +119,7 @@ isQuasiquote m == m is ["[||]",y] => y +++ returns the inferred domain for the syntactic object t. getTypeOfSyntax t == atom t => IDENTP t => '(Identifier) |