You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Similarly to aeon, LiquidJava could show instance variables using the superscript notation (xⁿ instead of #x_n).
This would apply to both expressions, counterexamples, and the context history, improving the readability of error messages and the context debugger.
Activity
[-]Improve Instance Variable Notation[/-][+]Instance Variable Superscript Notation[/+]