From 98ce7c2d0d5e6c486ed8de3393e44584f9b53462 Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Thu, 1 Jan 2026 22:56:59 +0330 Subject: tempo update --- symbols.txt | 16 +++++++++++++--- tempo.md | 42 ++++++++++++++++++++++++++++++++++++++++-- 2 files changed, 53 insertions(+), 5 deletions(-) diff --git a/symbols.txt b/symbols.txt index a63e7e4..8e8c315 100644 --- a/symbols.txt +++ b/symbols.txt @@ -1,12 +1,18 @@ Ω me +. obj +. object +0 zero += eq += equal ∷ prop ∷ property -⩫ unique ≠ neq ≠ notequal +⩫ unique 🮻 static ʭ id ⨍ lookup +* catch ⧔ time ∞ inf ∞ infinity @@ -15,6 +21,7 @@ ⊼ nand ⑄ speaker ¶ growth +i i ໒ world ✦ beginning 𝛏 axiom @@ -23,5 +30,8 @@ ϒ comprehend ϑ dawn 𜱺 energy -𜲏 matter -≈ almost \ No newline at end of file +𝓂 matter +≈ almost +⚛ atom +H aH +He aHe \ No newline at end of file diff --git a/tempo.md b/tempo.md index 87ec277..a29c791 100644 --- a/tempo.md +++ b/tempo.md @@ -3,6 +3,18 @@ a temporal, causal-chain based constructed language (conlang) for the structured ## definitions +let's start by setting some expectations. + +***what tempo is***: +- a conlang +- a way to formalize thoughts +- the most efficient way to drain my mental juice + +***what tempo is not***: +- a programming language +- a proof language +- a concrete rules system (despite how hard it tries to be) + def axiom `` ^^ an axiom is any piece of information that can be denoted in tempo. @@ -32,7 +44,7 @@ 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. 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`). + 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`). ## fundamental axioms (words) @@ -118,13 +130,24 @@ def 1 `\me\> + 0` ^^ one: consequence of zero. +def 2 `1+1` +^^ two: +one and one. + +def 3 `2+1` +^^ three: +two and one. + +every number can be defined this way, you get the idea. +also, by the way, this is text. hello from text. you'll be seeing more of me later. + def < `[x y] y>x + x\neq\y` (A < B) ^^ before: B > A & A \neq\ B, denotes B comes after A and they are not the same. def | `[x] A=. A