From aa56d4b9d55c47b8fd8d0c7411592a1006d15069 Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Mon, 23 Feb 2026 16:11:05 +0330 Subject: changes --- tempo.md | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) (limited to 'tempo.md') diff --git a/tempo.md b/tempo.md index 7966f8c..fa1e01f 100644 --- a/tempo.md +++ b/tempo.md @@ -41,11 +41,11 @@ def `` [english form] ``` ## syntax -in tempo, everything is interpreted as left-to-right. +in tempo, everything is interpreted from left-to-right. an axiom can have 0 to an arbitrary number of inputs, which indicates that the axiom is basically a catch-all. arguments are taken in the format of `[arg1 arg2 arg3 ...]` in the definition. the usage section of an axiom describes how arguments are taken in. -the composite axiom assertion bears a cognitive load: it allows assigning names to the time slice of an axiom. for example: `A = .` returns a random (or non-random) object in the enclosing set of the context. +the composite axiom assertion (=) bears a cognitive load: it allows assigning names to the time slice of an axiom. for example: `A = .` returns a random (or non-random) object in the enclosing set of the context. in our world, this could be an atom, an apple, an idea, a time, a memory, a sound, anything. it also serves as a filter, in which `A=. A=.\prop\\me\apple` would filter the first statement, `A=.`, such that A is a property of an apple (since tempo doesn't define apples yet, we contractually import it from our own language as `\me\apple`). @@ -326,6 +326,18 @@ def \some\ `[x y] -(\all\ x -y)` (\some\ A B) there exists an axiom of type A which is inside of B. alternative definition: `[x y] A=.\type\x A\prop\y` +def \none\ `[x y] \all\ x -y` (\none\ A B) +^^ none: +opposite of \some\. denotes that no axioms of type A exist in B. + + + + + + + + + ## update log // Timestamp: future @@ -333,6 +345,7 @@ alternative definition: `[x y] A=.\type\x A\prop\y` // Timestamp: 2026-02-23 09:37:18 UTC+3:30 - added symbols \some\ and \all\. +- added \none\. // Timestamp: 2026-02-22 13:15:30 UTC+3:30 - added symbols \between\, \ctx\ and \nuos\. -- cgit v1.2.3