From bfe03b6d652ee8de67372fe8ea9571856a3277e2 Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Fri, 2 Jan 2026 10:38:58 +0330 Subject: typeof axiom --- symbols.txt | 3 ++- tempo.md | 12 ++++++++---- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/symbols.txt b/symbols.txt index 8e8c315..e016271 100644 --- a/symbols.txt +++ b/symbols.txt @@ -34,4 +34,5 @@ i i ≈ almost ⚛ atom H aH -He aHe \ No newline at end of file +He aHe +⋿ type \ No newline at end of file diff --git a/tempo.md b/tempo.md index a29c791..e04cbcb 100644 --- a/tempo.md +++ b/tempo.md @@ -100,6 +100,10 @@ def \prop\ `[x y] x+. = y` (A \prop\ B) denotes that a certain object is a property of another, by indicating that its combination with another object results in the target. this also implies that you can consider `0` as property of all, and `1` as property of all the numbers above it, and so on. +def \type\ `[x y] y\prop\x` (A \type\ B) +^^ typeof: +the reverse implication of `\prop\`, showing that axiom A is of type axiom B. + def \neq\ `[x y] - x=y` (A \neq\ B) ^^ unequal: shows that the two input objects are non-equal. @@ -260,19 +264,19 @@ def \matter\ `A=. A\neq\0 \static\\id\A A\almost\\energy\` ^^ matter: **universe dependent**. existence which has a persistent identity and is weakly equal to energy. -def \atom\ `A=. A=\matter\ \epsilon\*A=A (\me\)\prop\A` +def \atom\ `A=. A\type\\matter\ \epsilon\*A=A (\me\)\prop\A` ^^ atom: an indivisible type of matter which has the property of identity. -def \aH\ `A=. A=\atom\ (\atom\+1)\id\A` +def \aH\ `A=. A\type\\atom\ (\atom\+1)\id\A` ^^ hydrogen: an atom identified by the unity (1). -def \aHe\ `A=. A=\atom\ (\atom\+2)\id\A` +def \aHe\ `A=. A\type\\atom\ (\atom\+2)\id\A` ^^ helium: an atom identified by the composite 2. -the rest of the atoms can be defined as such. +other atoms can be defined using the same method. ## update log -- cgit v1.2.3