Mark variables inferred as unification variables.
To help users see which variables have been inferred as unification variable, we can mark them with a little blue line (as
Submitted by Hendrik van Antwerpen on 24 April 2017 at 13:25notes).
Log in to post comments