diff options
| -rw-r--r-- | index.html | 2 | ||||
| -rw-r--r-- | styles.css | 7 | ||||
| -rw-r--r-- | styles3.css | 7 | ||||
| -rw-r--r-- | tempo.md | 6 |
4 files changed, 17 insertions, 5 deletions
@@ -352,6 +352,8 @@ const msg = `undefined symbols detected:\n${missing.map(s => ` • (${symbols[s]}) ${s}`).join('\n')}` warnings.innerHTML += msg.replace(/\n/g, '<br>') console.warn('undefined symbols:', missing) + } else { + warnings.style.display = 'none' } } @@ -249,7 +249,10 @@ body.dark-mode .timestamp-badge { #warnings { display: block; position: fixed; - bottom: 30px; - left: 30px; + bottom: 20px; + left: 20px; color: red; + background: var(--code-bg); + border: 2px solid var(--code-bg-faint); + padding: 5px 10px; }
\ No newline at end of file diff --git a/styles3.css b/styles3.css index ba30830..c150343 100644 --- a/styles3.css +++ b/styles3.css @@ -249,7 +249,10 @@ body.dark-mode .timestamp-badge { #warnings { display: block; position: fixed; - bottom: 30px; - left: 30px; + bottom: 20px; + left: 20px; color: red; + background: var(--code-bg); + border: 2px solid var(--code-bg-faint); + padding: 5px 10px; }
\ No newline at end of file @@ -229,9 +229,13 @@ def \energy\ `A=. \energy\+A > @A` ^^ energy: perhaps the first axiom to be defined declaratively. an axiom when, which applied to an object, causes it to change. +def \almost\ `[x y] A=.\prop\x B=.\prop\y A=B x\neq\y` (C \almost\ D) +^^ weak equality: +shows that all properties of two objects are true, but they are not completely equal. + def \matter\ `A=. A\neq\0 \static\\id\A A\almost\\energy\` ^^ matter: -**universe dependent**, existence which has a persistent identity, is weakly equal to energy, and +**universe dependent**. existence which has a persistent identity and is weakly equal to energy. ## update log |