newRPL - build 1255 released! [updated to 1299]

[Claudio L.]

(07-30-2019 09:14 PM)JoJo1973 Wrote:  Then why don't create an inline "ASSUME" operator (leftward arrow? U+22A6?) to attach human readable attributes to an expression e.g.

'.mX*.mX^.NN:→.mX^(1+.NN) ⊦ .NN:Z≥0,.mX:E>0'
'X+2=1-Y ⊦ Y:R<0'

Attributes are always displayed in certain contexts (e.g. edit), but a flag controls visibility in remaining ones (e.g. stack).

The ASSUME command is even more useful this way, because it allows a quick change of attributes: a boon for debugging and try-and-see approach.

Sounds good to me, but are you sure that's the correct symbol?

https://en.wikipedia.org/wiki/Turnstile_(symbol)