aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/algebra/boolean.spad.pamphlet9
-rw-r--r--src/algebra/exposed.lsp.pamphlet1
-rw-r--r--src/interp/g-util.boot1
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)