To help users see which variables have been inferred as unification variable, we can mark them with a little blue line (as notes).

Submitted by Hendrik van Antwerpen on 24 April 2017 at 13:25

Log in to post comments