4 ms·
Another idea... what about the IDE inserting a subscript or superscript after a variable to indicate how many contexts removed from the current context it was d
by epicureanideal 7y ago
Another idea... what about the IDE inserting a subscript or superscript after a variable to indicate how many contexts removed from the current context it was defined? Or possibly to indicate type information.