From 742e1e0ee38013e7956e0227cf218261845b351c Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Sat, 3 Jan 2026 19:35:51 +0330 Subject: small uniformity changes --- tempo.md | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/tempo.md b/tempo.md index 57b6582..8ec5be5 100644 --- a/tempo.md +++ b/tempo.md @@ -18,7 +18,7 @@ let's start by setting some expectations. - a concrete rules system (despite how hard it tries to be) def axiom `` -^^ +^^ axiom: an axiom is any piece of information that can be denoted in tempo. an axiom can be comprised of one or more axioms. if an axiom can be expanded into other axioms and still preserve the original meaning, @@ -50,19 +50,19 @@ in our world, this could be an atom, an apple, an idea, a time, a memory, a soun ## fundamental axioms (words) -def > `fundamental.` (consequence) -^^ +def > `fundamental.` (A > B) +^^ consequence: denotes an event in the course of a temporal chain. `A > B` directly implies that perception of B is impossible if the perception of A is also not possible. this axiom can also act as a logical consequence, being the equivalent of `A ⇒ B`. -def - `fundamental.` (negate) -^^ -converts an object into its logical opposite. (- A) +def - `fundamental.` (- A) +^^ negate: +converts an object into its logical opposite. -def + `fundamental.` (combine) -^^ -combines two objects into a composite object. (A + B) +def + `fundamental.` (A + B) +^^ combine: +combines two objects into a composite object. ## the self-referential axiom (me) @@ -156,7 +156,7 @@ def | `[x] A=. A