Sujet : Re: Undefined in LISP
De : ldo (at) *nospam* nz.invalid (Lawrence D'Oliveiro)
Groupes : comp.lang.lispDate : 24. Mar 2025, 00:33:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vrq5p3$3gje1$3@dont-email.me>
References : 1 2 3
User-Agent : Pan/0.162 (Pokrosvk)
On 23 Mar 2025 18:54:45 GMT, Stefan Ram wrote:
... two special objects "_" (termed /bottom/, representing |information
which is completely undetermined) and "¯" (termed |/top/, representing
information which is inconsistent or |overdetermined).
In denotational semantics class, I was taught to write them as “⊥” and
“⊤”.