newRPL - build 1255 released! [updated to 1299]
|
07-30-2019, 09:14 PM
(This post was last modified: 07-30-2019 09:22 PM by JoJo1973.)
Post: #545
|
|||
|
|||
RE: newRPL - build 1255 released! [updated to 1282]
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. |
|||
« Next Oldest | Next Newest »
|
User(s) browsing this thread: 6 Guest(s)