From 2980ffd4680d957c5574b3e8589ec57b1a773640 Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Mon, 23 Feb 2026 12:39:15 +0330 Subject: tiny fix --- tempo.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tempo.md b/tempo.md index f180598..7966f8c 100644 --- a/tempo.md +++ b/tempo.md @@ -303,7 +303,7 @@ def \context\ `[x] A=.\type\(\me\\axiom\) !\comp\x \comp\(x+A) A` (\context\ B) ^^ context: an axiom, without which, the input axiom cannot be comprehended, but with it, the listener can comprehend the input axiom. -def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A^B A` (\nuos\ C) +def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A\prop\B A` (\nuos\ C) ^^ nuos: the internal world, context and logic of a specific mind. defines a world which exists inside of another. -- cgit v1.2.3