diff options
| author | 2026-01-03 19:35:51 +0330 | |
|---|---|---|
| committer | 2026-01-03 19:35:51 +0330 | |
| commit | 742e1e0ee38013e7956e0227cf218261845b351c (patch) | |
| tree | 832a6b5b9add2ad84834adea28c65a72ad0b37dc /tempo.md | |
| parent | new defs (diff) | |
small uniformity changes
Diffstat (limited to 'tempo.md')
| -rw-r--r-- | tempo.md | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -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<x A` (| B) the object(s) preceeding the combination of an input object. breaks down an input into its creating parts. using this on a static atomic object will return either itself. def ! `.*0` -^^ +^^ ???: an indescribable, unknown, and paradoxical axiom. denotes a part extracted from nothingness. |
