diff options
Diffstat (limited to 'tempo.md')
| -rw-r--r-- | tempo.md | 16 |
1 files changed, 15 insertions, 1 deletions
@@ -17,13 +17,23 @@ i believe (*unverified*) that three is the absolute minimum, and that successful parenthesis can be used to imply order of words, but usually they can be distinguished based on axiom-definition and -## formatting +## markup an axiom is denoted as: ``` def <name> `<definition>` [english form] ^^ <description> ``` +## syntax +in tempo, everything is interpreted as 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 complex 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=.∷Ω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 `Ωapple`). + ## fundamental axioms (words) def > `fundamental.` (consequence) @@ -206,6 +216,10 @@ any mind that is able to receive the information of this current axiom. **frustration**: *now how do i define love?* +def ϒ `[x] A=x A=Λ B=𝛏. C=@A @A = B+A @A≠C` (D ϒ) +^^ comprehension: +indicates an axiom being transmitted to a listener, resulting in the change of the listener. it resolves to a `T`/`F` value, indicating whether the listener's mind has changed in comparison to an outcome in which the listener did not receive the axiom. + ## update log // Timestamp: future |